download
| home
| papers
| performance
| projects
| team
| user guide
| users
What is MLton?
MLton is a whole-program optimizing
Standard ML
(SML) compiler. MLton runs on X86 machines with
Linux,
FreeBSD,
or Cygwin/Windows.
Features of MLton
- Generates standalone executables with
excellent running times
- SML 97 compliant, with a
mostly complete basis library
- Fast IntInf based on the
GNU
multiprecision library
- Fast C FFI
- Profiling
- Supports large amounts of memory and large arrays.
- Libraries for
continuations,
interval timers,
random numbers,
resource limits,
resource usage,
signal handlers,
sockets,
system logging,
threads,
heap save and restore.
What's new?
Version 20020923 is the latest stable release. For a complete list of
changes and bug fixes since the last release, see the changelog. Notable changes since the last stable
release, 20020410, include:
- MLton now runs on FreeBSD.
- Major runtime system improvements. The runtime now implements
mark-compact and generational collection, in addition to the copying
collection that was there before. It automatically switches between the
the collection strategies to improve performance and to try to avoid
paging.
- Performance when compiling -exn-history true has been
improved.
- Added IntInf.log2, MLton.GC.pack, and
MLton.GC.unpack.
- Fixed bug in load world that could cause sread failed on
Cygwin.
- Fixed optimizer bug that could cause no analyze var value
property message.
Contact
To send a comment, question, or bug report to MLton's authors, use
MLton@mlton.org.
To send mail to the MLton user community, use
MLton-user@mlton.org.
You can also join the
MLton-user
mailing list.
MLton
Last modified: Thu Nov 14 14:09:35 PST 2002
