MLton is a whole-program optimizing compiler for the Standard ML programming language. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.
What’s new?
-
20200817: Please try out our latest release, MLton 20200817.
-
20200722: Please try out our latest release, MLton 20200722.
-
20180207: Please try out our latest release, MLton 20180207.
-
20140730: Matthew Fluet and Lukasz Ziarek have been awarded an NSF CISE Research Infrastructure (CRI) grant titled "Positioning MLton for Next-Generation Programming Languages Research;" read the award abstracts (Award #1405770 and Award #1405614) for more details.
Next steps
-
Visit the MLton GitHub repository.
-
Read about MLton’s Features.
-
Look at Documentation.
-
See some Users of MLton.
-
Download MLton from SourceForge or GitHub.
-
Meet the MLton Developers.
-
Get involved with MLton Development.
-
User-maintained FAQ.
-
Contact us.