Download this, download this (<a href="http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf" rel="nofollow">http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf</a>), and block some play time.
The members of the research group I work in are pretty heavy users of OCaml and I'm a big proponent of languages of the ML style. I generally have the impression that OCaml has become the de facto ML implementation. Can anyone make a case why I might want to consider using SML rather than OCaml?
What is the point of ML now that we have Haskell? This is not meant to be a troll; I'm seriously asking. Haskell proponents mention ML and Miranda only in passing and as lesser (in terms of purity and ease of use) antecedents of Haskell. What reasons are there to still use it?