text: 新澤西Standard ML，是針對Standard ML程式語言的自由且開源的編譯器和程式設計環境，它還支援Concurrent ML。除了它的執行時系統是用C寫成之外，SML/NJ大部份是用Standard ML寫成的。它最初是貝爾實驗室和普林斯頓大學聯合開發的。它的名字參考了普林斯頓大學和貝爾實驗室所在地新澤西州和在二十世紀早期著名的石油壟斷者新澤西標準石油二者。特徵.SML/NJ向SML'97基礎庫擴充套件了一些額外的頂層結構：此外，SML/NJ提供了並非SML'97的標準特徵的一些語法構造：發展.“Successor ML”是用來描述ML語言的下一個版本的術語。描述它的文件已經從SML/NJ '97檔案中提取出來，並放在GitHub倉庫中以便獲取為TeX文件，它由期望透過協作增進語言的社群維護。Successor ML特徵可以使用命令列選項codice_8來啟用。至少從1998年開始，MLton成為了標準編譯器，它擁有對Successor ML的某些支援。在2008年，開始了在HaMLet上的工作，它是完全用Standard ML寫成的Successor ML的參考實現。截止2018年，HaMLet仍舊是Successor ML的唯一完整實現，並具有額外的新奇事物。自從2015年，SML/NJ的演進側重發展基礎庫，並在版本110.79的發行中增加了對Successor ML定義的支援。在2020年末尾時，在版本110.99發行中增加了64-bit支援。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 新澤西Standard ML
metadata: https://zh.wikipedia.org/wiki?curid=7660953