[Caml-list] linking ocaml with java

[Caml-list] linking ocaml with java

[Bauer, Robert]

Hi,

I wrote a very simple tautology checker in ocaml - I have an existing
application in java that could benefit from it.  I suppose I could go from
ocaml to COM and from jintegra into java and the other way around; however,
I would much prefer to have ocaml and java work together without an
intermediary.

I am under the impression that some versions of ML already have translators
to java byte code - I am assuming that this is the case for ocaml although I
didn't see anything on the caml web page that confirms my impression.

If it is possible to link ocaml with java, could someone point me to some
documentation or provide the instructions.

Thanks.
Robert

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] linking ocaml with java

[Xavier Leroy]

> If it is possible to link ocaml with java, could someone point me to some
> documentation or provide the instructions.

A preliminary Caml/Java interface (via the Java Native Interface) is
available at http://caml.inria.fr/distrib/camljava-0.1.tar.gz

This is a JNI-level interface: it lets you do pretty much everything,
but is not type safe and a bit heavy in places.  A higher-level interface
providing a more direct, type-safe mapping between Java classes and
Caml classes, is planned at some point.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr