MLton

MLton是开源的Standard ML的全程序优化编译器^[1]。MLton开发始于1997年^[1]，并由世界范围的开发者和用户社群持续开发着^[5]，现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。

MLton

编程范型	多范型: 函数式, 指令式
发行时间	1997年，​28年前​（1997）[1]
当前版本	20241230（2024年12月30日；穩定版本）[2]
型態系統	强类型, 静态, 类型推论
許可證	历史许可通知和免责声明（英语：Historical Permission Notice and Disclaimer）[3]
文件扩展名	.sml
網站	mlton.org
受影响于
Standard ML

MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和模块化编程^[1]。它还通过MLBasis系统^[6]，简化模块化和名字空间管理，致力于促进大型编程（英语：Programming in the large and programming in the small#Programming in the large）。作为全程序编译器，它显著的缺少在Standard ML环境中常见的交互式顶层^[7]。

MLton在基础库之外还提供一些额外的库，包括实现了ANTLR的ML语言处理工具，和具有针对精简指令集CPU的代码生成器的MLRISC。它还实现了辅助从最流行的SML实现SML/NJ移植代码的特征，包括支持SML/NJ的编译管理器。