tool: MLton


Language:
Standard ML (SML)
Version:
20070826
Parts:
compiler(->C), basis-library, run-time
Author:
Originally Stephen Weeks, many others since Open Source
Location:
http://mlton.org/
Description:
MLton is a whole-program optimizing compiler for the Standard ML programming language. MLton runs on X86 machines under Linux. MLton produces fast, standalone executables.
Conformance:
Supports the full SML 97 language as given in The Definition of Standard ML (Revised)
Features:
+ whole-program optimization
+ IntInf implemented using GNU multiprecision library
+ continuations
+ heap save and restore
+ C FFI
+ profiling
- slow compile times
- large memory requirement
Bugs:
http://mlton.org/Bug
Restriction:
Requires:
Ports:
Windows, Linux, HPUX, AIX,
Portability:
Sparc, PowerPC, PowerPC64, X86, AMD64, HPPA, IA64
Status:
active
Contributions:
Announcements:
comp.lang.ml, http://mlton.org/
Updated:
August 2007

Related Items

language: Standard ML

category: functional languages summary, or expanded.


This site is supported by David Sharnoff and Bryan Miller with some help from Google Adwords.

Please send updates to free-compilers@sharnoff.org

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved
Copyright (c) 1999-2010 David Muir Sharnoff, Bryan Miller, All Rights Reserved