Open main menu

MLton is an open source, whole-program optimizing compiler for the Standard ML (SML) programming language.[1]

MLton aims to produce fast executables, and to encourage rapid prototyping and modular programming by eliminating performance penalties often associated with the use of high-level language features.[1]

MLton development began in 1997,[1] and continues[2] with a worldwide community of developers and users, who have helped to port MLton to a number of platforms. As a whole-program compiler Mlton is notable amongst SML environments such as Standard ML of New Jersey (SML/NJ) for lacking an interactive top level, common among most SML implementations [1]. MLton also includes several libraries in addition to the SML Basis Library as well as features to aid in porting code from SML/NJ, one of the more popular SML implementations.[citation needed] MLton also aims to make programming in the large more feasible through the use of the MLBasis system [2] simplifying modularity and managing of namespaces in larger pieces of code, MLton also has support for SML/NJs compilation manager. MLton was a participating organization in the 2013 Google Summer of Code.


  1. ^ a b c Stephen Weeks (September 16, 2006). "Whole-Program Compilation in MLton" (PDF). ML Workshop 2006, invited lecture. Archived from the original (PDF) on June 29, 2007. Retrieved 2007-12-02.
  2. ^ Mlton git repository at Github

External linksEdit