I just stumbled upon this rather enlightening comparison between the features
of OCaml and SML:
http://www.cs.berkeley.edu/~adamc/mlcomp/
Pretty much the only thing I envy from SML is equality types, and I think F#
has a better solution to that problem...
--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e