OCaml machine virtuelle Java. Y a-t-il? [fermé]
https://stackoverflow.com/questions/1537693
-
20-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianQuestion
Je pris un coup d'œil à quelques nouvelles langues pour la JVM. Deux d'entre eux se rassemblent beaucoup d'intérêt ces jours-ci: Clojure et Scala. Mais à mon humble avis, les deux ne sont pas idéales. (Gardons une spéculation, parce que je ne veux pas me endommager la discussion ..)
Ce que je vois en fait un mouvement délicat est l'invention de MS - F #. Il suffit de déplacer la langue OCaml pour obtenir la plate-forme .NET un peu impressionnant.
La question est: Est-ce que quelqu'un réussi à écrire un compilateur OCaml complet pour la machine virtuelle Java? Que diriez-vous si c'est une bonne idée?
La solution
"OCaml et Java" a des liens vers diverses tentatives d'intégration Java avec OCaml.
F # est un peu différent de OCaml dans les aspects en raison du désir de le faire fonctionner avec le framework .NET, donc, autant que Scala est un langage hybride, donc est F #, comme vous pouvez choisir combien FP vous voulez et combien POO vous voulez, dans les deux langues.
"Java, OCaml, et F # " est un poste de quelqu'un qui essaie de passer de Java à OCaml que vous trouverez peut-être intéressant.
Autres conseils
Qu'en est-Cafesterol: http://cafesterol.x9c.fr/
Cafesterol est une extension de la suite du compilateur Objective Caml qui génère bytecode Java. Cafesterol fournit un compilateur ocamljava qui est l'équivalent Java de ocamlc / compilateurs ocamlopt distribués avec la distribution standard Objective Caml. Cafesterol, dans sa version 1.3 construit avec la version 3.11.1 de Objective Caml. Les classes Java produits ont besoin de la version 1.3 de Cadmium pour exécuter et peut être exécuté sur une machine virtuelle Java 1.6.
Yeti est (tout en syntaxiquement un peu différent et les extensions pour Java Integration) dans les deux constructions et typesystem Il est basé sur ML comme Ocaml. En raison de son puissant soutien (récursives) types d'enregistrements Je pense que actuellement celui qui se rapproche le plus Ocaml.
Trier de F # pour la machine virtuelle Java.
Ocaml-Java est aussi proche d'un « officiel » OCaml pour la machine virtuelle Java que vous pouvez obtenir. Il semble être de très haute qualité.
(En outre, la machine virtuelle Java pour Haskell: Frege )
