MLton

MLton is an open-source, whole-program, optimizing Standard ML compiler. Standard ML (SML) is a programming language that combines excellent support for rapid prototyping, modularity, and development of large programs, with performance approaching that of C.