2009-10-08 14 views
16

Eché un vistazo a algunos idiomas nuevos para JVM. Dos de ellos están despertando gran interés en estos días: Clojure y Scala. Pero en mi humilde opinión, ninguno de los dos es ideal. (Vamos a dejarlo como una especulación, porque no quiero dañarme discutiendo ...)OCaml para JVM. ¿Hay alguna?

Lo que realmente veo como un movimiento complicado es el invento de MS - F #. Simplemente mover el idioma OCaml a la plataforma .NET rinde algo impresionante.

La pregunta es: ¿Alguien logró escribir un compilador OCaml con todas las funciones para la JVM? ¿Qué dirías si es una buena idea?

Respuesta

13

"OCaml and Java" tiene enlaces a varios intentos para integrar Java con OCaml.

F # es algo diferente de OCaml en aspectos debido al deseo de que funcione con .NET framework, así que, al igual que Scala es un lenguaje híbrido, también lo es F #, ya que puede seleccionar y elegir cuánto FP quiere y cuánto OOP quieres, en cualquier idioma.

"Java, OCaml, and F#" es una publicación de alguien que intenta trasladarse de Java a OCaml que puede resultarle interesante.

+0

Gracias, James. No sabía que F # no copia OCaml. – Bubba88

+0

Son muy similares, y si tiene cuidado, su fuente OCaml debería funcionar en F #, pero extendieron F # para .NET. –

+0

solo porque tengo curiosidad, ¿en qué casos el código ocaml no funciona como F #? – LB40

11

¿Qué tal Cafesterol: http://cafesterol.x9c.fr/

Cafesterol es una extensión de la suite Objetivo Caml compilador que genera código de bytes de Java. Cafesterol proporciona un compilador ocamljava que es la contraparte de Java de los compiladores ocamlc/ocamlopt distribuidos con la distribución estándar de Objective Caml. Cafesterol, en su versión 1.3, se basa en la versión 3.11.1 de Objective Caml. Las clases Java producidas necesitan la versión 1.3 de Cadmium para ejecutarse y se pueden ejecutar en cualquier máquina virtual Java 1.6.

+0

La última entrada del historial es "Versión 1.4 (2010-02-06)"; _; –

4

Yeti es (mientras sintácticamente un poco diferente y extensiones para Java-Integración), tanto en las construcciones y el sistema de tipos que se basa en ML como Ocaml. Debido a su poderoso soporte para tipos de registros (recursivos), creo que actualmente es el que se acerca más a Ocaml.

Tipo de F # para la JVM.

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

2

Ocaml-Java es lo más cercano a un "oficial" OCaml para la JVM que se puede obtener. Parece ser de muy alta calidad.

(También, Haskell para la JVM: Frege)

Cuestiones relacionadas