mlton标准 ML 语言编译器

支持标准 ML 的定义（修订）中给出的完整 SML 97 语言。

基础库的完整实现。

生成独立的可执行文件。

编译大型程序。

支持大量内存（在 32 位系统上最多 4G；在 64 位系统上更多）。

支持大阵列长度（高达 2 31 - 1 32 位系统;高达 2 63 -1 在 64 位系统）。

支持大文件，使用 64 位文件位置。

可执行文件具有出色的运行时性能。

生成小型可执行文件。

未标记和未装箱的本机整数，实数和单词。

未装箱的本机阵列。

多种垃圾收集策略。

基于 GMP 的快速任意精度算法。

时间和分配的源代码级分析。

MLLex 词法分析器生成器。

MLYacc 解析器生成器。

MLNLFFIGEN 外部功能接口生成器。

使用源库进行编程的 ML Basis 系统。

许多有用的语言扩展。

一个简单而快速的 C FFI，支持从 SML 到 C 以及从 C 到 SML 的调用。

图书馆为弱指针和定稿，主题，延续，间隔计时器和信号处理，世界上保存和恢复，以及更多。

在各种平台上运行。