Le compilo OCaml est très bien, c'est juste qu'il serait grand temps de réécrire le runtime pour qu'il gère correctement le multithreading (et l'allocation externe, gmp sur OCaml par exemple c'est pas ça), et une lib objet pour les réfractaires.