Ur / Web用于网络编程的新的纯功能语言？[关闭]

在搜索类似Haskell的语言的Web框架时遇到了Ur / Web项目。它看起来像一个人完成的非常有趣的项目。

基本上，它是Web编程的领域特定的纯功能语言，它充分利用了ML和Haskell的优势。语法是ML，但是Haskell有类型类和monad，并且经过严格评估。服务器端被编译为本地代码，客户端被编译为Javascript。有关其他广告优势，请参见幻灯片和常见问题页面。

查看这些演示及其源代码，我认为该项目非常有前途。最新版本是20110123，因此目前似乎正在积极开发中。

这里有人有进一步的经验吗？与ML稍微冗长的语法相比，与Haskell相比是否存在问题/烦恼？

我是Ur / Web的作者。我刚刚创建了此帐户，因此没有足够的mojo来响应其他过去的响应。

Ur / Web允许插件实现不同的Web协议，因此，如果您希望查看除CGI，FastCGI或HTTP之外的其他协议，则可以实现它，或要求我实现它。:)我真的还没有意识到其他人正在寻找的这一点。

SQL编程感到“束手无策”意味着什么？

回复：关于“ Web 1.0”外观的投诉，我认为这是一项旨在为不想真正使用该语言的人节省时间的功能。;）我知道没有缺失的功能可以阻止编写您喜欢的外观的应用程序，并且我相信一旦您掌握了语言和库的基本设置，这种情况就很明显了。

最后，ScantRoger，我很想听听您与客户一起使用Ur / Web的经历！我不知道在此处提供我的联系信息是否不好，但是在Ur网站首页底部有指向我个人网站的链接。

我们已将其用于注重安全性的客户端，并注意以下几点：

• 作为一种语言，与我合作很愉快。与Haskell相比，我们并不认为基于ML的语法特别冗长。
• 在http://www.impredicative.com/ur/上提供的演示和文档之外，几乎没有其他方法。
• 我们已经宠坏了，现在许多其他语言都具有更快的Web服务器界面。使用FastCGI感觉就像倒退了一步。
• SQL编程感觉有些混乱。
• 复习数学以完全理解语言/框架为您提供的帮助。

任何负面因素都可以归因于它是全新的。给它一些爱。它值得。也许您可以成为倡导者，并且使找到Ur / Web资源变得不那么麻烦。

我担心的一件事是它仍然很新。Haskell和Erlang都已经存在很长时间了。这意味着很久以来就已经解决了两种语言中的许多简单错误。出于这个原因，我将非常怀疑它们的代码是否可以像在haskell中一样快速和安全。

演示也看起来非常网络1.0。