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
|
|---|
language: Standard ML
category: functional languages
summary, or
expanded.
|
|