"OCaml and Java" has links to various attempts to integrate Java with OCaml.
F# is somewhat different from OCaml in aspects due to the desire to have it work with the .NET framework, so, much as Scala is a hybrid language, so is F#, as you can pick and choose how much FP you want and how much OOP you want, in either language.
"Java, OCaml, and F#" is a post from someone trying to move from Java to OCaml which you may find interesting.
Cafesterol is an extension of the Objective Caml compiler suite that generates Java bytecode. Cafesterol provides an ocamljava compiler that is the Java counterpart of ocamlc/ocamlopt compilers distributed with the Objective Caml standard distribution. Cafesterol, in its 1.3 version builds with the 3.11.1 version of Objective Caml. The produced Java classes need the 1.3 version of Cadmium to run and can be executed on any Java 1.6 virtual machine.
Yeti is (while syntactically a bit different and extensions for Java-Integration) in both the constructions and typesystem it is based on ML like Ocaml. Because of its powerful support for (recursive) record-types I think its currently the one which comes closest to Ocaml.
发布评论
评论（4）
“OCaml 和 Java” 包含将 Java 与 OCaml 集成的各种尝试的链接。
F# 在某些方面与 OCaml 有所不同，因为希望它与 .NET 框架一起工作，因此，就像 Scala 是一种混合语言一样，F# 也是如此，因为您可以选择您想要多少 FP 以及多少您想要的 OOP，无论是哪种语言。
"Java、OCaml 和 F#" 是某人试图从 Java 迁移到 OCaml 的帖子，您可能会觉得有趣。
"OCaml and Java" has links to various attempts to integrate Java with OCaml.
F# is somewhat different from OCaml in aspects due to the desire to have it work with the .NET framework, so, much as Scala is a hybrid language, so is F#, as you can pick and choose how much FP you want and how much OOP you want, in either language.
"Java, OCaml, and F#" is a post from someone trying to move from Java to OCaml which you may find interesting.
咖啡甾醇怎么样：http://cafesterol.x9c.fr/
How about Cafesterol: http://cafesterol.x9c.fr/
Yeti（虽然在语法上有点不同，是 Java 集成的扩展）在结构和类型系统上都基于像 Ocaml 一样的 ML。由于它对（递归）记录类型的强大支持，我认为它目前是最接近 Ocaml 的。
类似于 JVM 的 F#。
http://mth.github.com/yeti/
Yeti is (while syntactically a bit different and extensions for Java-Integration) in both the constructions and typesystem it is based on ML like Ocaml. Because of its powerful support for (recursive) record-types I think its currently the one which comes closest to Ocaml.
Sort of F# for the JVM.
http://mth.github.com/yeti/
Ocaml-Java 尽可能接近 JVM 的“官方”OCaml。看起来质量非常高。
（此外，用于 JVM 的 Haskell：Frege）
Ocaml-Java is as close to an "official" OCaml for the JVM as you can get. It seems to be very high quality.
(Also, Haskell for the JVM: Frege)