Standard ML

维基百科,自由的百科全书
跳到导航 跳到搜索
Standard ML
编程范型多范式: 函数式, 指令式, 模块化[1]
语言家族ML
发行时间1983年,​37年前​(1983[2]
穩定版本
Standard ML '97[2]
(1997年,​23年前​(1997
型態系統类型推论, 静态, 强类型
文件扩展名.sml
網站sml-family.org 編輯維基數據鏈接
主要實作產品
SML/NJ, MLton
衍生副語言
Alice, Concurrent ML, Dependent ML
啟發語言
ML, Hope, Pascal
影響語言
Elm, F#, F*, Haskell, OCaml, Python[3], Rust, Scala

Standard MLSML)是通用的模块化函数式编程语言,具有编译时间类型检查类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。

Standard ML是ML的现代方言,ML是用于可计算函数逻辑英语Logic for Computable Functions(LCF)定理证明计划的编程语言。Standard ML在广泛使用的语言之中与众不同,源于它具有正式规定《The Definition of Standard ML》,给出了语言的类型规则英语Type rule操作语义[4]

实现[编辑]

存在很多SML实现,包括:

所有这些实现都是开源的并可自由的获得。其中多数用SML实现了自身。不再有任何商业SML实现。

参见[编辑]

引用[编辑]

  1. ^ Programming in Standard ML: Hierarchies and Parameterization. [2020-02-22]. (原始内容存档于2015-06-10). 
  2. ^ 2.0 2.1 SML '97. www.smlnj.org. [2020-04-25]. (原始内容存档于2017-07-22). 
  3. ^ itertools — Functions creating iterators for efficient looping — Python 3.7.1rc1 documentation. docs.python.org. [2020-04-25]. (原始内容存档于2020-06-14). 
  4. ^ Milner, Robin; Tofte, Mads; Harper, Robert; MacQueen, David. The Definition of Standard ML (Revised). MIT Press. 1997. ISBN 0-262-63181-4. 
  5. ^ smlnj.org. [2020-04-25]. (原始内容存档于2020-05-01). 
  6. ^ 页面存档备份,存于互联网档案馆
  7. ^ mlton.org. [2020-09-27]. (原始内容存档于2020-08-28). 
  8. ^ 页面存档备份,存于互联网档案馆
  9. ^ 页面存档备份,存于互联网档案馆
  10. ^ 页面存档备份,存于互联网档案馆
  11. ^ 页面存档备份,存于互联网档案馆
  12. ^ 页面存档备份,存于互联网档案馆
  13. ^ 页面存档备份,存于互联网档案馆
  14. ^ 页面存档备份,存于互联网档案馆
  15. ^ 页面存档备份,存于互联网档案馆
  16. ^ 页面存档备份,存于互联网档案馆
  17. ^ 页面存档备份,存于互联网档案馆

外部链接[编辑]