MLton
MLton is a whole-program optimizing Standard ML compiler. It generates standalone executables with excellent runtime performance, supports the full SML 97 language, and has a complete basis library. It also has a fast C FFI, source-level time and allocation profiling, and many useful libraries.
| Tags | Software Development Compilers |
|---|---|
| Licenses | BSD Original |
| Operating Systems | POSIX Linux BSD FreeBSD Windows Windows Windows Solaris NetBSD OpenBSD Mac OS X |
| Implementation | ML |
Recent releases
- 06 Dec 2005 13:52
Changes: MLton is now released under the BSD license, not the GPL. There is substantially improved documentation based on the MLton wiki. x86/MinGW and HPPA/Linux are supported. There are improvements to the FFI, ML Basis annotations, and new libraries: the ckit and SML/NJ library.
- 10 Nov 2004 14:16
Changes: This release includes support for new platforms (FreeBSD 5.x, OpenBSD, and Mac OS X), dynamic libraries, and Concurrent ML. There is also the new ML Basis system, supporting programming in the very large and separate delivery of library sources. Finally, there is a new bytecode generator, new integer and word structures for all sizes from 2 to 32 bits, and many data representation improvements.
- 28 Feb 2004 02:31
Changes: This release includes a new front end, which follows the SML definition and produces readable error messages. It now supports NetBSD, and includes Int64, Real32, and Word64 data structures. It includes major improvements to -show-basis, which now displays readably, and also adds new switches.
- 16 Jul 2003 21:35
Changes: This release fixes several problems with the 20030711 release. If you downloaded that release, please upgrade.
- 11 Jul 2003 14:52
Changes: MLton now runs on Sparc/SunOS. The standard basis library implementation is complete. There is now support for calling SML from C. There are new libraries for weak pointers and finalization. The source-level profiling call graphs have been improved.
