编程范型 | 多范型: 函数式, 指令式 |
---|---|
发行时间 | 1997年[1] |
当前版本 |
|
型態系統 | 强类型, 静态, 类型推论 |
許可證 | 历史许可通知和免责声明[2] |
文件扩展名 | .sml |
網站 | mlton |
啟發語言 | |
Standard ML |
MLton是开源的Standard ML的全程序优化编译器[1]。MLton开发始于1997年[1],并由世界范围的开发者和用户社群持续开发着[4],现在MLton已经被移植到了很多平台。MLton是2013年Google编程之夏的参与组织。
MLton通过去除通常关联于高级特征的低效性,致力于产生高速的可执行程序,并鼓励快速原型和模块化编程[1]。它还通过MLBasis系统[5],简化模块化和名字空间管理,致力于促进大型编程。作为全程序编译器,它显著的缺少在Standard ML环境中常见的交互式顶层[6]。
MLton在基础库之外还提供一些额外的库,包括实现了ANTLR的ML语言处理工具,和具有针对精简指令集CPU的代码生成器的MLRISC。它还实现了辅助从最流行的SML实现SML/NJ移植代码的特征,包括支持SML/NJ的编译管理器。