Ur / Web Webプログラミング用の新しい純粋に機能的な言語ですか？[閉まっている]

Haskellのような言語のWebフレームワークを検索中に、Ur / Webプロジェクトに出会いました。一人が行った非常に興味深いプロジェクトのようです。

基本的に、これはWebプログラミング用のドメイン固有の純粋に機能的な言語であり、MLとHaskellを最大限に活用しています。構文はMLですが、Haskellの型クラスとモナドがあり、厳密に評価されています。サーバー側はネイティブコードにコンパイルされ、クライアントはJavascriptにコンパイルされます。他のアドバタイズされた利点については、スライドとFAQページを参照してください。

見てデモやそのソースコードは、私はこのプロジェクトは非常に有望であると思います。最新バージョンは20110123であるため、現時点では活発に開発中のようです。

ここで誰かがそれをさらに経験したことがありますか？MLのやや冗長な構文とは別に、Haskellと比較して問題/迷惑はありますか？

私はUr / Webの著者です。このアカウントを作成したばかりなので、他の過去の回答に対応するのに十分なモジョを持っていません。

Ur / Webでは、プラグインでさまざまなWebプロトコルを実装できます。したがって、CGI、FastCGI、またはHTTP以外のプロトコルを確認したい場合は、実装するか、実装するように依頼することができます。:)私は、この点について、他の人々が探していたことを本当に知りませんでした。

SQLプログラミングが「まとまって」いるとはどういう意味ですか？

再：「Web 1.0」の外観に関する苦情は、この言語を本当に使いたくない人のために時間を節約するために設計された機能だと思います。;）好きなように見えるアプリケーションの作成を妨げる、私が知っている欠落している機能はありません。言語とライブラリの基本的なセットアップを理解すれば、これは明らかだと思います。

最後に、ScantRoger、Ur / Webをクライアントに適用した経験についてお聞かせください。ここに私の連絡先情報を提供するのが悪い形式であるかどうかはわかりませんが、Urフロントページの下部に私の個人的なWebサイトへのリンクがあります。

セキュリティを重視するクライアントに使用し、次のことに注意しました。

• 言語として、一緒に仕事をするのは楽しいことです。MLベースの構文がHaskellと比較して特に冗長であるとは感じませんでした。
• http://www.impredicative.com/ur/で提供されているデモとドキュメント以外の貴重なハウツーがあります。
• 他の多くの言語がWebサーバーへのより高速なインターフェースを備えていることは、だいぶ甘やかされてきました。FastCGIの使用は、一歩後退したように感じました。
• SQLプログラミングは少し束縛されたように感じました。
• 数学を磨いて、言語/フレームワークがあなたに何をするかを完全に理解してください。

ネガは、それが真新しいという事実に帰することができます。それにいくつかの愛を与えます。それに値する。たぶん、あなたは声の擁護者になり、Ur / Webリソースを見つけるのが面倒ではなくなるかもしれません。

私が心配する1つのことは、それがまだかなり新しいということです。HaskellとErlangは両方とも長い間存在しています。これは、両方の言語の簡単なバグの多くが長い間解決されてきたことを意味します。そのため、彼らのコードがhaskellでできる限り高速で安全であるということに非常に懐疑的です。

また、デモは非常にWeb 1.0に見えました。