We are pleased to announce a new release of MLton, the whole-program
optimizing Standard ML compiler. Version 20030711 is the first public
release since 20030312. The major improvements are:
+ Support for Sparc/SunOS using the C code generator
+ Completed the basis library implementation
+ Support for calling SML functions from C
+ Weak pointers and finalization
+ Better profiling call graphs
MLton has the following features.
+ Runs on a variety of platforms
o X86: Linux, FreeBSD, or Cygwin/Windows
o Sparc: SunOS
+ Generates standalone executables with excellent running times
+ Supports the full SML 97 language
+ A complete basis library (except for use)
+ Untagged native integers and reals, and unboxed native arrays
+ Fast C FFI for calling from SML to C and from C to SML
+ Source-level profiling of both time and allocation
+ Multiple garbage collection strategies
+ Supports large amounts of memory and large arrays
+ Fast IntInf based on the GNU multiprecision library (gmp)
+ Libraries for continuations, interval timers, random numbers,
resource limits, resource usage, signal handlers, system
logging, threads, and heap save and restore
For more information, go to the MLton home page.
http://www.mlton.org/
Enjoy!
-- The MLton Team