imported>ExultantEditor 来自 2025年12月26日 (五) 18:06

2025-12-26T18:06:02Z

新页面

{{Infobox programming language
| name = MLton
| logo =
| paradigm = [[编程范型|多范型]]: [[函数式编程|函数式]], [[指令式编程|指令式]]
| year = {{start date and age|1997}}<ref name="mlworkshop"/>
| designer =
| latest_release_version = 20210117<ref>{{Cite web |url=http://mlton.org/Release20210117 |title=Release20210117 |access-date=2022-03-08 |archive-date=2022-04-25 |archive-url=https://web.archive.org/web/20220425054619/http://www.mlton.org/Release20210117 }}</ref>
| latest_release_date = {{start date and age|2021|01|17}}
| typing = [[强类型]], [[静态类型|静态]], [[类型推论]]
| influenced_by = [[Standard ML]]
| influenced =
| website = {{URL|http://mlton.org/}}
| license = {{le|历史许可通知和免责声明|Historical Permission Notice and Disclaimer}}<ref>{{Cite web|title=License|url=http://mlton.org/License|access-date=2021-11-30|website=mlton.org|archive-date=2021-11-30|archive-url=https://web.archive.org/web/20211130230050/http://mlton.org/License}}</ref>
| File extensions = .sml
}}
'''MLton'''是[[开源授权|开源]]的[[Standard ML]]的全程序[[优化编译器]]<ref name="mlworkshop">{{cite web | title = Whole-Program Compilation in MLton | author = Stephen Weeks | date = September 16, 2006 | accessdate = 2007-12-02 | url = http://mlton.org/pages/References/attachments/060916-mlton.pdf | format = PDF | publisher = ML Workshop 2006, invited lecture | url-status=dead | archiveurl = https://web.archive.org/web/20070629215827/http://mlton.org/pages/References/attachments/060916-mlton.pdf | archivedate = June 29, 2007 | df = }}</ref>。MLton开发始于1997年<ref name="mlworkshop"/>，并由世界范围的开发者和用户社群持续开发着{{refn|https://github.com/MLton/mlton}}，现在MLton已经被移植到了很多平台。MLton是2013年[[Google夏日程式碼大賽|Google编程之夏]]的参与组织。

MLton通过去除通常关联于高级特征的低效性，致力于产生高速的可执行程序，并鼓励快速原型和[[模块化编程]]<ref name="mlworkshop"/>。它还通过MLBasis系统{{refn|http://mlton.org/MLBasis}}，简化模块化和名字空间管理，致力于促进{{le|大型编程和小型编程|Programming in the large and programming in the small#Programming in the large|大型编程}}。作为全程序编译器，它显著的缺少在Standard ML环境中常见的[[读取﹣求值﹣输出循环|交互式顶层]]{{refn|http://mlton.org/Drawbacks}}。

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

==引用==
{{reflist|2}}

==外部链接==
* [http://mlton.org MLton webpage] {{Wayback|url=http://mlton.org/ |date=20090103032226 }}

[[Category:ML语言家族]]

MLton - 版本历史

imported>ExultantEditor 来自 2025年12月26日 (五) 18:06