MLton MLton是开源的Standard ML的全程序优化编译器MLton开发始于年并由世界范围的开发者和用户社群持续开发着现在MLton已经被移植到了很多平台MLton是年Google编程之夏的参与组织 MLton通过去除通常关联于高级特征的低效性致力于产生高速的可执行程序并鼓励快速原型和模块化编程它还通过MLBasis系统简化模块化和名字空间管理致力于促进大型编程英语Programming in the large and programming in the smallProgramming in the large作为全程序编译器它显著的缺少在Standard ML环境中常见的交互式顶层 MLton在基础库之外还提供一些额外的库包括实现了ANTLR的ML语言处理工具和具有针对精简指令集CPU的代码生成器的MLRISC它还实现了辅助从最流行的SML实现SMLNJ移植代码的特征包括支持SMLNJ的编译管理器