MLton:用于标准ML的全程序优化编译器-开源

MLton是用于标准ML的全程序优化编译器。 MLton利用未标记和未装箱的本机整数，实数和单词，未装箱的本机数组，基于GnuMP的快速任意精度算术以及多种代码生成和垃圾回收策略，生成具有出色运行时性能的小型可执行文件。 此外，MLton提供了功能丰富的Standard ML编程环境，如标准ML的定义（修订版）中所提供的那样，对SML97的完全支持，许多有用的语言扩展，标准ML基础库的完整实现，各种有用的库，一个简单而快速的C外部函数接口，用于使用源库进行编程的ML Basis系统以及诸如lexer生成器，解析器生成器和分析器之类的工具。