I've never liked OCaml. The typesystem is too wimpy and constraining. Lack of generic arithmetic operators is particularly painful. Haskell is a much better language.