Ur / Web web programlama için yeni tamamen işlevsel bir dil? [kapalı]


17

Ben rastladım Ur / Web projesi dilleri Haskell benzeri web çerçeveler benim arama sırasında. Bir kişi tarafından yapılan çok ilginç bir proje gibi görünüyor.

Temel olarak, ML ve Haskell'den en iyi şekilde yararlanan web programlama için alana özel tamamen işlevsel bir dildir. Sözdizimi ML'dir, ancak Haskell'den tip sınıfları ve monad vardır ve kesinlikle değerlendirilir. Sunucu tarafı yerel kod, istemci Javascript için derlenmiştir. Reklamı yapılan diğer avantajlar için slaytlara ve SSS sayfasına bakın.

Demolara ve kaynak kodlarına baktığımda , projenin çok umut verici olduğunu düşünüyorum. En son sürüm 20110123 bir şey, bu yüzden şu anda aktif geliştirme aşamasında gibi görünüyor.

Burada kimse onunla daha fazla deneyim yaşadı mı? ML'nin biraz daha ayrıntılı sözdizimi dışında Haskell ile karşılaştırıldığında sorunlar / sıkıntılar var mı?


Nitpick: Ur / Web, web programlama için bir programlama dili değildir. Ur genel amaçlı bir programlama dilidir, Ur / Web, web uygulamasının güvenliği ve komikliği hakkında statik garantiler sağlamak için Ur'un tip sisteminden yararlanan Ur dilinde yazılmış bir web çerçevesidir. (Adil olmak gerekirse, Ur özellikle Ur / Web'i desteklemek için tasarlanmıştır.)
Jörg W Mittag

Yanıtlar:


24

Ben Ur / Web'in yazarıyım. Bu hesabı yeni oluşturdum ve diğer geçmiş yanıtlara yanıt verecek kadar mojo'm yok.

Ur / Web, eklentilerin farklı web protokollerini uygulamasına izin verir, bu nedenle, CGI, FastCGI veya HTTP dışında başka bir protokol görmek istiyorsanız, bunu uygulayabilir veya uygulamamı isteyebilirsiniz. :) Herhangi bir alternatif millet aradılar bu noktada gerçekten farkında değilim.

SQL programlamanın "toplanmış" hissetmesi ne anlama gelir?

Re: "Web 1.0" hakkında şikayetler bakmak, ben gerçekten bu dili kullanmak istemeyen insanlar için zaman kazanmak için tasarlanmış bir özellik olarak düşünüyorum. ;) İstediğiniz gibi görünen uygulamaların yazılmasını engelleyen farkında olduğum hiçbir eksik özellik yok ve dilin ve kütüphanelerin temel kurulumunu yaptıktan sonra bunun belirgin olduğuna inanıyorum.

Son olarak, ScantRoger, bir müşteriyle Ur / Web uygulama deneyimlerinizi duymak isterim! İletişim bilgilerimi burada vermenin kötü bir form olup olmayacağını bilmiyorum, ancak Ur ön sayfasının altında kişisel web siteme bir bağlantı var.


11

Güvenlik bilincine sahip bir istemci için kullandık ve şunları kaydettik:

  • Dil olarak çalışmak bir zevk. ML tabanlı sözdiziminin Haskell'e kıyasla özellikle ayrıntılı olduğunu hissetmedik.
  • Http://www.impredicative.com/ur/ adresinde sunulan demoların ve belgelerin dışında değerli birkaç nasıl yapılır .
  • Diğer birçok dilin artık web sunucusuyla daha hızlı arayüzleri olduğu için şımarık olduk. FastCGI kullanmak geriye doğru bir adım gibi geldi.
  • SQL programlama biraz toplanmıştı.
  • Dilin / çerçevenin sizin için ne yaptığını tam olarak anlamak için matematiğinizi geliştirin.

Herhangi bir olumsuzluk, yepyeni olduğu gerçeğine atfedilebilir. Biraz sevgi ver. Hak ediyor. Belki bir vokal savunucusu olabilir ve Ur / Web kaynaklarını bulmayı daha az iş yapabilirsiniz.


Belki Adam'ın cevabı hakkında yorum yapabilir ve "toplanmış" ne demek olduğunu açıklayabilirsin? Şimdiden teşekkürler.
Janus Troelsen

Ayrıca, "web sunucusuna daha hızlı arayüzler" ne olur? Bildiğim kadarıyla FastCGI, HTTP istek / yanıt verisi alışverişinde bulunmak için en hızlı (daha optimize edilmiş) protokollerden biridir. Nginx'in FastCGI desteği hiç olmadığı kadar düşüktür ve aslında çoğu modern PHP kurulumu (örneğin) FastCGI üzerinden Nginx + PHP-FPM'dir. (Ya da belki de bu cevabın '11… 'de bir anlamı vardı)
Tobia

3

Endişeleneceğim tek şey, hala oldukça yeni olması. Haskell ve Erlang uzun zamandır ortalıktalar. Bu, her iki dilde de birçok kolay hatanın uzun zamandan beri çalıştığı anlamına gelir. Kodları bu nedenle haskell'de yapabildiğiniz kadar hızlı ve güvenli olduğundan çok şüpheci olurum.

Ayrıca demolar çok web 1.0 görünüyordu.


Evet, demoların biraz ilkel göründüğüne katılıyorum. Ancak Haskell ile aynı güce sahipse, yakında daha fazla özellik olacağına inanıyorum. Ben de "tipik C daha verimli" bölümünde şüpheci oldu. Ama her şey gerçekten sadece 1 kişi tarafından yapılmışsa bu çalışma oldukça etkileyici: D
Phil

Bir noktaya daha uzun bakacağım, umarım iyi yaparlar! Daha fazla çerçeve ve yeni şeyler deneyen insanlar her zaman iyidir
Zachary K
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.