I have some experience with both SML and OCaml, though it is quite limited. Perhaps it's either my background writing a lot of fairly mathematical code or simp

I have some experience with both SML and OCaml, though it is quite limited. Perhaps it's either my background writing a lot of fairly mathematical code or simply my own ignorance, but I always found little things like having to distinguish * and *. operators in OCaml rather awkward. Granted, it beats M.times(a).plus(b), but it's the sort of slightly clunky blemish that puts me off, and it betrays a certain lack of power in the underlying model. (Haskell almost has the opposite problem, with a type system that seems able to do almost anything, but also having all the complexity that inherently comes with that.)