Standard ML 编程范型 多范型 :函数式 , 指令式 , 模块化 [ 1] 语言家族 ML 发行时间 1983年,41年前 (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
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).