MLton
| 編程範型 | 多范型: 函數式, 指令式 |
|---|---|
| 面市時間 | 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的編譯管理器。
引用
[編輯]- ^ 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）.
- ^ License. mlton.org. [2021-11-30]. （原始內容存檔於2021-11-30）.
- ^ Release20210117. [2022-03-08]. （原始內容存檔於2022-04-25）.
- ^ https://github.com/MLton/mlton
- ^ http://mlton.org/MLBasis
- ^ http://mlton.org/Drawbacks