1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
MLton is a whole-program optimizing compiler for the Standard ML
programming language. 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/
There are two mailing lists available.
* MLton@mlton.org MLton developers
* MLton-user@mlton.org MLton user community
doc directory contents:
README this file
changelog changelog
cm2mlb/ a utility for producing ML Basis programs in SML/NJ
cmcat/ a utility for producing whole programs in SML/NJ
examples/ example SML programs
guide/ HTML MLton guide (copy of the MLton wiki)
license/ license information
mllex.ps.gz user guide for mllex lexer generator
mlton-guide.pdf PDF version of MLton guide
mlyacc.ps.gz user guide for mlyacc parser generator
|
