What is MLton?
MLton is a whole-program optimizing compiler for the
Standard
ML programming language. MLton runs on X86 machines with
Linux or Cygwin/Windows.
Features of MLton
MLton has the following features (for details, please see
the user manual in html
or postscript).
- Generates standalone executables with
good runtime performance
- SML 97 compliant, with a
mostly complete basis library
- Fast IntInf based on the
GNU
multiprecision library (gmp)
- Fast C FFI
- Profiling
- 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 VERSION is a major release over 20011006. For a
complete list of changes and bug fixes, see the CHANGES file. Notable changes include:
- MLton now runs on Cygwin/Windows.
- There have been significant performance improvements in generated code.
- There have been several additions to the MLton structure:
Exn, IntInf, Process, Profile.
- MLton's runtime system can now use large amounts of memory (up to 4G),
including more than the available RAM.
- Arrays (strings, vectors) can now have up to 2^31 - 1
elements (provided there is enough memory).
- Command-line switches have been changed to be more regular,
and some have been removed.
- MLton no longer supports _prim for defining compile-time
constants.
- There were several bug fixes for type inference of flexible record
patterns.
Links
Download
MLton.
Browse
the MLton sources using ViewCVS.
People that have worked on MLton.
Projects that use MLton.
Improvements that we
would like to see made to MLton.
Papers about MLton.
You can access our current internal version of MLton via anonymous CVS
with:
cvs -d :pserver:anonymous@cvs.mlton.org:/cvsroot/mlton co
mlton
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-announce
and
MLton-user
mailing lists.
Last modified: Tue Apr 9 16:27:35 PDT 2002