MLton is a whole-program optimizing compiler for the Standard ML programming language.
