Hi Everyone,
I am trying to call some Java functions from OCaml (Extracted from Coq if
it matters). I am familiar with ocamljava [1], but it says that "*The
generated code usually runs faster than OCaml bytecode but slower than
native code. Memory consumption and startup time are also higher, but
leveraging the multiple cores of a machine can help reaching the
performance level of native code.*", and I don't want to leave the OCaml
native code. One suggestion I got on #ocaml channel is using RPC and a
quick Google search leads to ocaml-rpc [2].  I am wondering if experts from
OCaml community could please give me some suggestions.


Best regards,
Mukesh Tiwari


[1] http://www.ocamljava.org/
[2] https://github.com/mirage/ocaml-rpc

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs