MLton

MLton has several drawbacks due to its use of whole-program compilation.