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的編譯管理器。