Standard ML
維基百科,自由的 encyclopedia
Standard ML(SML),是一個函數式、指令式、模塊化[1]的通用的程式語言,具有編譯時間類型檢查和類型推論[5]。它流行於編譯器作者和程式語言研究者和自動定理證明研究者之中。
Quick Facts 編程範型, 語言家族 ...
編程範型 | 多范型:函數式, 指令式, 模塊化[1] |
---|---|
語言家族 | ML |
面市時間 | 1983年,41年前(1983)[2] |
型態系統 | 類型推論, 靜態, 強類型 |
文件擴展名 | .sml |
網站 | Standard ML Family GitHub Project |
主要實作產品 | |
SML/NJ, MLton | |
衍生副語言 | |
Concurrent ML, Dependent ML(英語:Dependent ML), Alice(英語:Alice (programming language)) | |
啟發語言 | |
ML, Hope, Pascal | |
影響語言 | |
ATS(英語:ATS (programming language)), Elm, F#, F*, Haskell, OCaml, Python[3], Rust, Scala |
Close
Standard ML是ML的現代方言,ML是用於LCF(英語:Logic for Computable Functions)(可計算函數邏輯)定理證明計劃的程式語言。Standard ML在廣泛使用的語言之中與眾不同,源於它具有正式規定《The Definition of Standard ML》 [4],給出了語言的類型規則(英語:Type rule)和操作語義[6]。