Loading AI tools
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的編譯管理器。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
