[MLton-user] new release of MLton

Byron Hale byron.hale@einfo.com
Mon, 06 Feb 2006 17:40:34 -0800


Thanks to you and the MLton team for all your work!

Byron Hale
byron.hale@einfo.com

Stephen Weeks wrote:

>We are pleased to announce a new release of MLton, the whole-program
>optimizing compiler for Standard ML, available at http://mlton.org/.
>MLton version 20051202 is the first public release since 20041109.
>The major improvements are:
>
>  + The MLton license is now BSD-style instead of the GPL.
>  + New platforms: X86/MinGW and HPPA/Linux.
>  + Improved and expanded documentation, based on the MLton wiki.
>  + Improved foreign-function interface, now with support for ML-NLFFI.
>  + New ML Basis annotations.
>  + New libraries: ckit library, SML/NJ library.
>
>MLton has the following features.
>
>  + Portability.
>   MLton runs on the following platforms.
>   o HPPA: Debian.
>   o PowerPC: Debian, Mac OSX.
>   o X86: Linux, Cygwin/Windows, FreeBSD, MinGW/Windows, NetBSD, OpenBSD.
>   o Sparc: Debian, Solaris.
>  + Robustness.
>   o Supports the full SML 97 language.
>   o Follows the Definition of SML closely.
>   o Has a complete implementation of the Basis Library.
>   o Generates standalone executables.
>   o Compiles large programs (hundreds of thousands of lines).
>   o Supports large amounts of memory (up to 4G).
>   o Supports large arrays (up to 2G elements).
>   o Supports large files (using 64-bit integers for file positions).
>  + Performance.
>   o Executables with excellent running times.
>   o Untagged and unboxed native integers and words.
>   o Unboxed reals.
>   o Unboxed arrays.
>   o Multiple garbage collection strategies.
>   o Fast arbitrary-precision arithmetic based on the GnuMP.
>  + Tools.
>   o Source-level profiler for both time and allocation.
>   o Lexer generator.
>   o Parser generator.
>   o ML-NLFFIGEN.
>  + Extensions.
>   o Fast C FFI for calling from SML to C and from C to SML.
>   o ML Basis system for programming in the very large.
>   o Libraries for C pointers, 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://mlton.org/
>
>Enjoy!
>
>-- The MLton Team 
>
>_______________________________________________
>MLton-user mailing list
>MLton-user@mlton.org
>http://mlton.org/mailman/listinfo/mlton-user
>
>
>  
>