Standard_ML

Standard ML （ SML ） ， 是一個函數式 、 指令式 、 模塊化的通用的編程語言 ， 具有編譯時間類型檢查和類型推論 。 它流行於編譯器作者和編程語言研究者和自動定理證明研究者之中 。 Standard ML是ML的現代方言 ， ML是用於 （ 可計算函數邏輯 ） 定理證明計劃的編程語言 。 Standard ML在廣泛使用的語言之中與衆不同 ， 源於它具有正式規定 《 The Definition of Standard ML 》 ， 給出了語言的和操作語義 。