mlton标准 ML 语言编译器
MLton 是一个针对标准 ML 编程语言的全程序优化编译器。MLton 利用未标记和未装箱的本机整数，实数和单词，未装箱的本机数组，基于 GMP 的快速任意精度算术以及多种代码生成和垃圾回收策略，生成具有出色运行时性能的小型可执行文件。此外，MLton 提供了功能丰富的 Standard ML 编程环境，如标准 ML 的定义（修订版）中所述，它完全支持 SML97，提供了许多有用的语言扩展，Standard ML Basis Library 的完整实现，各种有用的库，简单，快速的 C 外部函数接口，用于使用源库进行编程的 ML Basis 系统以及诸如 lexer 生成器，解析器生成器和事件探查器之类的工具。
特征
-
坚固性。
-
支持标准 ML 的定义（修订）中给出的完整 SML 97 语言。
-
基础库的完整实现。
-
生成独立的可执行文件。
-
编译大型程序。
-
支持大量内存（在 32 位系统上最多 4G；在 64 位系统上更多）。
-
支持大阵列长度（高达 2 31 - 1 32 位系统;高达 2 63 -1 在 64 位系统）。
-
支持大文件，使用 64 位文件位置。
-
-
性能。
-
可执行文件具有出色的运行时性能。
-
生成小型可执行文件。
-
未标记和未装箱的本机整数，实数和单词。
-
未装箱的本机阵列。
-
多种垃圾收集策略。
-
基于 GMP 的快速任意精度算法。
-
-
工具。
-
时间和分配的源代码级分析。
-
MLLex 词法分析器生成器。
-
MLYacc 解析器生成器。
-
MLNLFFIGEN 外部功能接口生成器。
-
-
扩展程序。
-
可移植性。
-
在各种平台上运行。
-
评论