OCaml中的JVM。有没有？ [关闭]

Question

我看了一下对JVM一些新的语言。他们两个都在收集太大的兴趣，这些天：Clojure的和Scala。但是，在我的愚见，他们两人都不太理想。 （让我们保持一种炒作，因为我不想破坏自己做讨论。）

我实际看到作为一个棘手的举动是MS的发明 - F＃。简单地移动OCaml的语言.NET平台产量有所真棒。

现在的问题是：是否有人设法写一个全功能的ocaml的编译器的JVM？你会怎么说，如果这是一个好主意？

Answer 1

“OCaml的和Java” 具有链接到各种尝试来整合爪哇与OCaml的。

F＃从OCaml的在各方面有所不同，由于有它在.NET框架的工作，所以，就像Scala是一种混合语言的欲望，所以是F＃，你可以挑选你多么FP希望和多少OOP你想，在任何一种语言。

的“Java，OCaml中，和F＃“是从有人试图从Java到OCaml的移动，你会发现有趣的帖子。

Answer 2

如何Cafesterol： http://cafesterol.x9c.fr/

  

Cafesterol是生成Java字节码的目的CAML编译器套件的延伸。 Cafesterol提供了一个编译器ocamljava，其与目的CAML标准分发分布式ocamlc / ocamlopt编译器的Java的对应物。 Cafesterol，在其1.3版本构建与3.11.1版本的目的CAML的。产生的Java类需要1.3版本镉运行，并可以在任何Java 1.6的虚拟机上执行。

Answer 3

雪人是（而语法上有点不同和扩展Java的集成）在二者的结构和类型系统是基于像ML ocaml的。因为它（递归）记录类型强有力的支持的，我认为它目前它最接近Ocaml程序编写的一个。

排序F＃为JVM的。

http://mth.github.com/yeti/

Answer 4

Ocaml程序编写的Java 是接近“官方” OCaml中的JVM，你可以得到。这似乎是非常高的质量。

（另外，Haskell中为JVM：弗雷格）