静态类型的跨OS Web平台:Java,Mono,还有什么？

Question

我很欣赏这个问题可能会因为它的开放性而被关闭,但我很好奇.

如果我想使用静态类型语言开发跨平台的Web应用程序,我的选择是什么？我知道Mono和Java,但还有什么？

(当我说跨平台时,我的意思是Windows和至少一种常见的Linux风格)

Answer 1

有几个高性能的 Haskell Web 框架强调强大的静态正确性：

• 折断
• 耶索德
• 快乐栈

目标是依靠类型系统提供高度优化的代码，并且运行时失败的可能性为零。

引用 Yesod 网站：

将运行时错误转变为编译时错误

Yesod 坚信让编译器成为你的盟友，而不是你的敌人的哲学。我们使用类型系统来尽可能地强制执行，从生成正确的链接，到避免 XSS 攻击，再到处理字符编码问题。一般来说，如果您的代码可以编译，那么它就可以工作。您不必在任何地方声明类型，而是让编译器通过类型推断为您计算出类型。