我看了一下 JVM 的一些新语言。如今，其中两个引起了极大的兴趣：Clojure 和 Scala。但依我拙见，两者都不理想。（让我们保持猜测，因为我不想损害自己的讨论......）
我实际上认为一个棘手的举动是 MS 的发明 - F#。简单地将 OCaml 语言迁移到 .NET 平台会产生一些很棒的效果。
问题是：有人设法为 JVM 编写了一个全功能的 OCaml 编译器吗？如果这是个好主意，你会怎么说？
问问题
6823 次
4 回答
14
“OCaml 和 Java”链接到将 Java 与 OCaml 集成的各种尝试。
F# 在某些方面与 OCaml 有所不同，因为希望它与 .NET 框架一起使用，因此，就像 Scala 是一种混合语言一样，F# 也是如此，因为您可以选择您想要多少 FP 以及多少您想要的 OOP，无论是哪种语言。
“Java、OCaml 和 F#”是一个尝试从 Java 迁移到 OCaml 的帖子，您可能会觉得这很有趣。
于 2009-10-08T13:39:26.947 回答
12
咖啡甾醇怎么样：http: //cafesterol.x9c.fr/
Cafesterol 是生成 Java 字节码的 Objective Caml 编译器套件的扩展。Cafesterol 提供了一个 ocamljava 编译器，它是与 Objective Caml 标准发行版一起分发的 ocamlc/ocamlopt 编译器的 Java 对应物。Cafesterol 在其 1.3 版本中使用 3.11.1 版本的 Objective Caml 构建。生成的 Java 类需要 1.3 版本的 Cadmium 才能运行，并且可以在任何 Java 1.6 虚拟机上执行。
于 2009-10-23T00:26:34.640 回答
4
Yeti（虽然在语法上有点不同，并且是 Java-Integration 的扩展）在结构和类型系统中都基于 Ocaml 等机器学习。由于它对（递归）记录类型的强大支持，我认为它目前最接近 Ocaml。
用于 JVM 的 F# 排序。
于 2011-03-13T10:09:50.787 回答
3
Ocaml-Java尽可能接近 JVM 的“官方”OCaml。它似乎质量很高。
（另外，用于 JVM 的 Haskell：Frege）
于 2015-01-24T19:28:18.897 回答