> And I am not sure that Ocaml has been ported to non-unix free 
> software... Does Ocaml runs on Hurd, or Syllable, or EROS?

OCaml 3.10.2 binary package for SyllableOS: http://web.syllable.org/pages/resources.html 

Regards.
-- damien