download
| history
| home
| papers
| performance
| projects
| team
| user guide
| users
Please enjoy our new release, MLton 20030711!
What is MLton?
MLton is a whole-program optimizing
Standard ML
(SML) compiler.
Features of MLton
- Runs on a variety of platforms.
- Generates standalone executables with
excellent running times
- Supports the full SML 97 language
- A complete
basis library (except for use) matching the
2002 specification
- Untagged native integers and reals, and unboxed native arrays
- Fast
C FFI for calling from SML to C or from C to SML
- Source-level
profiling of both time and allocation
- Multiple garbage collection strategies
(copying, mark compact, generational)
- Supports large amounts of memory and large arrays
- Fast IntInf based on the
GNU
multiprecision library
- Libraries for
continuations,
finalization,
heap save and restore,
interval timers,
random numbers,
resource limits,
resource usage,
signal handlers,
system logging,
threads,
weak pointers.
What's new?
Version 20030711 is the latest public release. For a complete list of
changes and bug fixes since the last release, see the changelog. Notable changes since the last public
release, 20030312, include:
- Added support for Sparc/SunOS using the C code generator
- Completed the basis library implementation
- Added _export, which allows one to call SML
functions from C
- Added weak pointers (via MLton.Weak) and finalization (via
MLton.Finalizable)
- Added new integer modules: Int8, Int16
- Improved profiling and call graphs, allowing splitting to
be determined in mlprof
- Fixed conversions between reals and their decimal
representations to be correct using the gdtoa
library
How do you pronounce MLton?
MLton is pronounced in two syllables, with stress on the first
syllable. The first syllable sounds like the word
mill (as in "steel mill"), the second like the word
tin (as in "cookie tin").
Contact
For general MLton discussion, send mail to MLton-user@mlton.org.
You can also join the
MLton-user
mailing list.
To contact the MLton developers, send mail to MLton@mlton.org.
MLton
Last modified: Fri Jul 11 14:03:58 PDT 2003