About twenty years ago I endeavored to learn both Standard ML and OCaml, and I found I preferred SML. I'm not clear how OCaml has gotten more mindshare, but I really liked SML/NJ.

I suppose back then we were still in the throes of "object-oriented is best" and the "object" in OCaml had some pull