Back أم أل المعيارية Arabic ML Estàndard Catalan Standard ML Czech Standard ML Danish Standard ML German Standard ML English Standard ML EO Standard ML Spanish استاندارد امال FA Standard ML French
| 编程范型 | 多范型：函数式, 指令式, 模块化[1] |
|---|---|
| 语言家族 | ML |
| 发行时间 | 1983年[2] |
| 型態系統 | 类型推论, 静态, 强类型 |
| 文件扩展名 | .sml |
| 網站 | Standard ML Family GitHub Project |
| 主要實作產品 | |
| SML/NJ, MLton | |
| 衍生副語言 | |
| Concurrent ML, Dependent ML, Alice | |
| 啟發語言 | |
| ML, Hope, Pascal | |
| 影響語言 | |
| ATS, Elm, F#, F*, Haskell, OCaml, Python[3], Rust, Scala | |
預覽警告：页面使用了Template:Infobox programming language不存在的参数"latest release date"
預覽警告：页面使用了Template:Infobox programming language不存在的参数"latest release version"
Standard ML（SML），是一个函数式、指令式、模块化[1]的通用的编程语言，具有编译时间类型检查和类型推论[5]。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。
Standard ML是ML的现代方言，ML是用于LCF（可计算函数逻辑）定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同，源于它具有正式规定《The Definition of Standard ML》 [4]，给出了语言的类型规则和操作语义[6]。
- ^ 1.0 1.1 David MacQueen. Modules for Standard ML. LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming. August 1984: 198–207 [2021-09-01]. （原始内容存档于2021-09-01）.
David Macqueen. An Implementation of Standard ML Modules. 1988 [2021-09-03]. （原始内容存档于2021-09-03）. - ^ Robin Milner. A Proposal for Standard ML (PDF). 1983 [2021-09-02]. （原始内容 (PDF)存档于2021-11-06）.
Robin Milner, Robert Harper, David B. MacQueen. Standard ML: Report ECS-LFCS-86-2 (PDF). 1986 [2021-09-02]. （原始内容 (PDF)存档于2021-09-02）. School of Informatics Laboratory for Foundations of Computer Science, Edinburgh University. - ^ itertools — Functions creating iterators for efficient looping — Python 3.7.1rc1 documentation. docs.python.org. [2020-04-25]. （原始内容存档于2020-06-14）.
- ^ 4.0 4.1 Milner, Robin; Tofte, Mads; Harper, Robert; MacQueen, David. The Definition of Standard ML (Revised) (PDF). MIT Press. 1997 [2021-09-01]. ISBN 0-262-63181-4. （原始内容 (PDF)存档于2022-03-09）.
- ^ Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）. - ^ Cardelli, Luca. Type Systems (PDF). ACM Computing Surveys. March 1996, 28 (1): 263–264 [2021-09-01]. doi:10.1145/234313.234418. （原始内容 (PDF)存档于2020-11-09）.