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|
|Operating Systems||POSIX Linux BSD FreeBSD Windows Solaris NetBSD OpenBSD Mac OS X|
Release Notes: 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.
Release Notes: 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.
Release Notes: 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.
Release Notes: This release fixes several problems with the 20030711 release. If you downloaded that release, please upgrade.
Release Notes: 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.