Ur / Web baru murni bahasa fungsional untuk pemrograman web? [Tutup]

Saya menemukan proyek Ur / Web selama pencarian saya untuk kerangka kerja web untuk bahasa-bahasa seperti Haskell. Sepertinya proyek yang sangat menarik dilakukan oleh satu orang.

Pada dasarnya, ini adalah bahasa fungsional murni khusus domain untuk pemrograman web, mengambil yang terbaik dari ML dan Haskell. Sintaksnya adalah ML, tetapi ada kelas tipe dan monad dari Haskell, dan ini dievaluasi secara ketat. Sisi server dikompilasi ke kode asli, klien ke Javascript. Lihat halaman slide dan FAQ untuk keuntungan lain yang diiklankan.

Melihat demo dan kode sumbernya , saya pikir proyek ini sangat menjanjikan. Versi terbaru adalah sesuatu 20110123, sehingga tampaknya sedang dalam pengembangan aktif saat ini.

Adakah yang punya pengalaman lebih lanjut di sini? Apakah ada masalah / gangguan dibandingkan dengan Haskell, terlepas dari sintaksis ML yang sedikit lebih verbose?

Saya penulis Ur / Web. Saya baru saja membuat akun ini dan karenanya tidak memiliki cukup mojo untuk menanggapi tanggapan lain di masa lalu.

Ur / Web memungkinkan plugin untuk mengimplementasikan protokol web yang berbeda, jadi, jika Anda ingin melihat beberapa protokol lain selain CGI, FastCGI, atau HTTP, Anda mungkin dapat mengimplementasikannya, atau meminta saya untuk mengimplementasikannya. :) Saya benar-benar tidak menyadari sampai titik ini dari apa pun yang dicari orang alternatif.

Apa artinya bagi pemrograman SQL untuk merasa "berkumpul"?

Re: keluhan tentang tampilan "Web 1.0", saya pikir itu sebagai fitur yang dirancang untuk menghemat waktu bagi orang-orang yang tidak benar-benar ingin menggunakan bahasa ini. ;) Tidak ada fitur yang hilang yang saya sadari yang mencegah penulisan aplikasi yang sesuka Anda, dan saya yakin ini tampak jelas setelah Anda menguasai pengaturan dasar bahasa dan pustaka.

Akhirnya, ScantRoger, saya ingin mendengar tentang pengalaman Anda menerapkan Ur / Web dengan klien! Saya tidak tahu apakah ini bentuk yang buruk untuk memberikan informasi kontak saya di sini, tetapi ada tautan ke situs web pribadi saya di bagian bawah halaman depan Ur.

Kami telah menggunakannya untuk klien yang sadar akan keamanan dan mencatat yang berikut:

• Sebagai bahasa, itu menyenangkan untuk bekerja dengan. Kami tidak merasa sintaks berbasis ML sangat verbose dibandingkan dengan Haskell.
• Ada beberapa cara berharga di luar demo dan dokumentasi yang disediakan di http://www.impredicative.com/ur/ .
• Kami telah dimanja bahwa banyak bahasa lain sekarang memiliki antarmuka yang lebih cepat ke server web. Menggunakan FastCGI terasa seperti langkah mundur.
• Pemrograman SQL terasa agak padat.
• Memoles matematika Anda untuk sepenuhnya memahami apa yang dilakukan bahasa / kerangka kerja untuk Anda.

Setiap negatif dapat dikaitkan dengan fakta itu baru. Berikan cinta. Itu layak untuk itu. Mungkin Anda bisa menjadi advokat vokal dan membuat menemukan sumber daya Ur / Web kurang dari tugas.

Satu hal yang saya khawatirkan adalah masih cukup baru. Haskell dan Erlang sama-sama sudah ada sejak lama. Ini berarti bahwa banyak bug mudah dalam kedua bahasa telah lama dikerjakan. Saya akan sangat skeptis bahwa kode mereka secepat dan aman yang dapat Anda lakukan di haskell karena alasan itu.

Demo juga terlihat sangat web 1.0.