OCaml для JVM. Есть ли?

Я взглянул на некоторые новые языки для JVM. Два из них сегодня очень интересны: Clojure и Scala. Но по моему скромному мнению, оба они не идеальны. (Позвольте держать это в спекуляции, потому что я не хочу причинять себе вред.)

То, что я на самом деле вижу как сложный шаг, - это изобретение MS - F #. Простое перемещение языка OCaml на платформу .NET дает несколько потрясающий результат.

Вопрос: кому-то удалось написать полнофункциональный компилятор OCaml для JVM? Что бы вы сказали, если бы это была хорошая идея?

Ответ 1

"OCaml и Java" содержит ссылки на различные попытки интеграции Java с OCaml.

F # несколько отличается от OCaml в аспектах из-за желания работать с платформой .NET, так что, так как Scala - это гибридный язык, то есть F #, так как вы можете выбрать, сколько FP вы хотите и сколько ООП вы хотите на любом языке.

"Java, OCaml и F #" - это сообщение от кого-то, кто пытается переместиться с Java на OCaml, что может показаться вам интересным.

Ответ 2

Как насчет Cafesterol: http://cafesterol.x9c.fr/

Cafesterol является расширением набора компиляторов Objective Caml, который генерирует байт-код Java. Cafesterol предоставляет компилятор ocamljava, который является Java-компилятором компиляторов ocamlc/ocamlopt, распределенных стандартным распределением Objective Caml. Cafesterol, в версии 1.3, строит версию 3.11.1 Objective Caml. Для созданных классов Java требуется версия 1.3 для Cadmium для запуска и может быть выполнена на любой виртуальной машине Java 1.6.

Ответ 3

Yeti (хотя синтаксически немного отличается и расширения для Java-интеграции) в обеих конструкциях и системах типов основан на ML, как Ocaml. Из-за его мощной поддержки (рекурсивных) типов записей я думаю, что в настоящее время это тот, который ближе всего подходит к Ocaml.

Сортировка F # для JVM.

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

Ответ 4

Ocaml-Java как можно ближе к "официальному" OCaml для JVM. Это, кажется, очень высокое качество.

(Кроме того, Haskell для JVM: Frege)