跳转到内容

MLton

维基百科,自由的百科全书
MLton
编程范型多范型: 函数式, 指令式
发行时间1997年,​27年前​(1997[1]
当前版本
  • 20210117(2021年1月17日;穩定版本)
編輯維基數據鏈接
型態系統强类型, 静态, 类型推论
許可證历史许可通知和免责声明英语Historical Permission Notice and Disclaimer[2]
文件扩展名.sml
網站mlton.org
啟發語言
Standard ML

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

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

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

引用

[编辑]
  1. ^ 1.0 1.1 1.2 1.3 Stephen Weeks. Whole-Program Compilation in MLton (PDF). ML Workshop 2006, invited lecture. September 16, 2006 [2007-12-02]. (原始内容 (PDF)存档于June 29, 2007). 
  2. ^ License. mlton.org. [2021-11-30]. (原始内容存档于2021-11-30). 
  3. ^ Release20210117. [2022-03-08]. (原始内容存档于2022-04-25). 
  4. ^ https://github.com/MLton/mlton
  5. ^ http://mlton.org/MLBasis
  6. ^ http://mlton.org/Drawbacks

外部链接

[编辑]