JVM用のいくつかの新しい言語を調べました。最近、ClojureとScalaの2つが大きな関心を集めています。しかし、私の謙虚な意見では、どちらも理想的ではありません。（それを推測に留めておきましょう、私が議論している自分自身を傷つけたくないので..）
私が実際にトリッキーな動きとして見ているのは、MSの発明であるF＃です。OCaml言語を.NETプラットフォームに移動するだけで、いくらか素晴らしい結果が得られます。
質問は次のとおりです。誰かがJVM用のフル機能のOCamlコンパイラを書くことができましたか？それが良い考えだとしたら、あなたは何と言いますか？
「OCamlandJava」には、JavaをOCamlと統合するためのさまざまな試みへのリンクがあります。
F＃は、.NET Frameworkで動作させたいという点で、OCamlとは多少異なります。したがって、Scalaがハイブリッド言語であるのと同様に、F＃も、必要なFPの量と量を選択できるためです。どちらの言語でも、必要なOOP。
「Java、OCaml、F＃」は、JavaからOCamlに移行しようとしている人からの投稿です。
カフェストールはどうですか：http：//cafesterol.x9c.fr/
Cafesterolは、Javaバイトコードを生成するObjectiveCamlコンパイラスイートの拡張機能です。Cafesterolは、ObjectiveCaml標準ディストリビューションで配布されるocamlc/ocamloptコンパイラのJava対応物であるocamljavaコンパイラを提供します。カフェストールは、1.3バージョンでObjectiveCamlの3.11.1バージョンでビルドされます。生成されたJavaクラスを実行するには、1.3バージョンのCadmiumが必要であり、任意のJava1.6仮想マシンで実行できます。
イエティは（構文的には少し異なり、Java-Integrationの拡張機能ですが）構造と型システムの両方で、OcamlのようなMLに基づいています。（再帰的な）レコードタイプを強力にサポートしているため、現在、Ocamlに最も近いものだと思います。
JVMのF＃の一種。
Ocaml-Javaは、JVMの「公式」OCamlに可能な限り近いものです。とても高品質のようです。
（また、JVMのHaskell：Frege）