まだ、マニュアルをちょっと読んだだけだけど、
Ocamlってかなり強力な言語みたい。SML以上かな。