I'm not :) I'm just providing some context. This project has more fundamental issues in my opinion if you want to consider it as a real replacement for ocamlop

I'm not :) I'm just providing some context. This project has more fundamental issues in my opinion if you want to consider it as a real replacement for ocamlopt, as i explained here http://news.ycombinator.com/item?id=4798320 http://news.ycombinator.com/item?id=4798320. It is not, just a replacement for OCaml's interpreter, and as such it is a very simple project and will probably remains so. I don't plan to make it evolve beyond bug-fixing and maintaining it. As such, if i had to re-code it in another language, it would be in C, to make it integrable into OCaml's runtime easily. Probably not OCaml, because its expressive power is not needed. If i had to start from scratch, i would do an LLVM backend for the ocamlopt compiler. And i would do it in OCaml of course :)