[detrino]

Ocaml was always the more pragmatic language and for a long time the implementation was significantly faster than anything SML offered. MLton came along very late in the game and offers excellent performance, but doesn't support separate compilation.

Edit: A more lengthy comparison: http://adam.chlipala.net/mlcomp/

[marktangotango]

Thanks for the perspective!