JVM上是否有类似Haskell的生产就绪语言？

Question

截至今天，无法在JVM上运行Haskell程序（请参阅this问题）。
我想知道是否有一个生产就绪的函数式语言支持Haskell提供的大量抽象：

• 静态输入
• 类型推断
• 类型类
• 钻营
• 懒惰的评价
• 仿函数，应用仿函数，monad，monad变换器......

编辑： 随着生产准备就绪，我的意思是：

• 良好的文档（书籍，网站，教程）
• 文库
• 活跃（大型）社区，邮件列表，......
• 稳定而成熟（没有学术放弃用品）

通常是一种可能具有“未来”的语言。

我听说过Frege和CAL，但不知道他们的身份。

Answer 1

我认为没有一个生产就绪类似Haskell的语言可以在JVM上运行。

但要留意Ermine。它是用Scala编写的，现在它正在Haskell中重写，但运行时将保留在Scala中。

关于Ermine的书是work in progress。还有a talk about Ermine on Youtube。

Answer 2

取决于您的功能含义：

Clojure，Scala，Groovy？

Jlang的Erlang http://erjang.org/

鲜为人知的语言，可能不适合“生产就绪”？：

魅影 http://fantom.org/

XTEND http://en.wikipedia.org/wiki/Xtend_(programming_language)

锡兰 http://ceylon-lang.org/documentation/1.0/introduction/

科特林 http://kotlin.jetbrains.org/

卡瓦 http://www.gnu.org/software/kawa/news.html