MLton

MLton
編程範型	多范型: 函數式, 指令式
釋出時間	1997年，27年前
當前版本	20210117（2021年1月17日；穩定版本）;
型態系統	強類型, 靜態, 類型推論
許可證	歷史許可通知和免責聲明（英語：Historical Permission Notice and Disclaimer）
文件擴展名	.sml
網站	mlton.org
啟發語言
	Standard ML

MLton是開源的Standard ML的全程序優化編譯器^[1]。MLton開發始於1997年^[1]，並由世界範圍的開發者和用戶社群持續開發着^[4]，現在MLton已經被移植到了很多平台。MLton是2013年Google編程之夏的參與組織。

Quick Facts 編程範型, 釋出時間 ...

Close

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]
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）.
↑
Release20210117. [2022-03-08]. （原始內容存檔於2022-04-25）.
[4]
https://github.com/MLton/mlton
[5]
http://mlton.org/MLBasis
[6]
http://mlton.org/Drawbacks