(download)
(home)
(papers)
(performance)
(projects)
(team)
(user guide)
(users)
What is MLton?
MLton is a whole-program optimizing compiler for the
Standard
ML programming language. 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: Mon Sep 23 23:50:37 PDT 2002