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
|
MLton is a whole-program optimizing compiler for the Standard ML
programming language. MLton has the following features.
+ Runs on a variety of platforms.
o X86: Linux, Cygwin/Windows, FreeBSD, and NetBSD.
o Sparc: Solaris.
+ Generates standalone executables with excellent running times.
+ Supports the full SML 97 language.
+ A complete basis library matching the latest specification.
+ Untagged native integers and words.
+ Unboxed reals.
+ Unboxed arrays
+ Fast C FFI for calling from SML to C and from C to SML.
+ Source-level profiling of both time and allocation.
+ Multiple garbage collection strategies.
+ Support for large amounts of memory (up to 4G), large arrays (up
to 2G elements), and large files (using 64-bit integers for file
positions).
+ Fast IntInf based on the GNU multiprecision library (gmp).
+ 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://www.mlton.org/
For general MLton discussion, send mail to MLton-user@mlton.org. To
send mail to the MLton developers, use MLton@mlton.org.
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
license/ license information
mllex.ps.gz user guide for mllex lexer generator
mlyacc.ps.gz user guide for mlyacc parser generator
user-guide/ html user guide
user-guide.ps.gz user guide for MLton
|
