[TYPES/announce] MLKit 4.3.0 Release

Martin Elsman mael at itu.dk
Tue Jan 31 07:26:31 EST 2006


Dear all,

We are happy to announce the release of MLKit 4.3.0, a compiler for
the programming language Standard ML. The MLKit provides the following
features:

 * All of SML'97: The MLKit covers all of Standard ML, as defined in
   the 1997 edition of the Definition of Standard ML. The MLKit
   implements most of the latest Standard ML Basis Library
   specification.

 * ML Basis Files: The support for ML Basis Files makes it easy to
   compile large programs with different Standard ML
   compilers. Currently, both MLton and the MLKit supports the concept
   of ML Basis Files. The MLKit has a system, based on MLB-files, for
   avoiding unnecessary recompilation upon changes of source code.

 * Region-Based Memory Management: The MLKit integrates
   reference-tracing garbage collection with region-based memory
   management. Memory allocation directives (both allocation and
   deallocation) are inferred by the compiler, which uses a number of
   program analyses concerning lifetimes and storage layout.

 * Native backend for the x86 architecture.

 * Documentation. An updated comprehensive guide on programming with
   the MLKit is available from the MLKit wiki home page:

                http://www.itu.dk/research/mlkit

The MLKit is available for download for the Linux operating system
from the download section of the home page. Both binary and source
packages are available. Contributions in terms of packages for various
Linux distributions are welcome.

Best Regards,

Carsten Varming and Martin Elsman
On behalf of the MLKit Team



More information about the Types-announce mailing list