Compiler for the Standard ML programming language
MLton is a whole-program optimizing Standard ML compiler that supports the full SML 97 language. Features include a complete basis library (except for use) matching the 2002 specs, untagged native integers and reals, unboxed native arrays, fast C FFI, multiple garbage collection strategies (copying, mark contact, generational), source-level profiling of both time and allocation, and a fast IntInf based on GNUmp. It also includes libraries for continuations, finalization, heap save and restore, interval timers, random numbers, resource limits, resource usage, signal handlers, system logging, threads, weak pointers.
DocumentationUser guide available in HTML format from http://mlton.org/Documentation
released on 16 July 2013
|License||Verified by||Verified on||Notes|
|SimplePermissiveNonWarranty||Janet Casey||14 August 2003|
Leaders and contributors
|See for a complete list of contributors||Contributor|
Resources and communication
|Developer||VCS Repository Webview||http://cvs.mlton.org/cgi-bin/viewcvs.cgi/mlton/mlton/|
This entry (in part or in whole) was last reviewed on 1 March 2017.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.