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 la

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/ http://adam.chlipala.net/mlcomp/