OCaml is a very nice language, and the compiler is pretty good but the only issue is that the implementation doesn't allow you to use more than one CPU core because of some issue with the GC design. F#, which is heavily OCaml inspired, has good parallel support.