Z3 : An LLVM backed runtime for OCaml

Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.

C++ instead of OCaml?!<p>Specially taking into consideration how much better OCaml is suited for compiler development and the existence of LLVM bindings for OCaml.

Just checking that you are aware of OCamlCC. If you aren't, good news! You will have plenty of notes you can exchange with Benoît.<p><a href="http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf" rel="nofollow">http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf</a>

how close to ocamlopt do you think you can get? (ie do you have any handle on what the returns would be for further work on this? what are the main limiting factors?)