Standard ML （ SML ），是一? 函?式 、 指令式 、 模?化 ^[1] 的 通用 的 ?程?言 ，具有 ?????型?? 和 ?型推? ^[5] 。?流行于 ??器 作者和 ?程?言?究 者和 自?定理?明 ?究者之中。

Standard ML是 ML 的?代方言，ML是用于 LCF （ 英? ： Logic for Computable Functions ） （可?算函???）定理?明??的?程?言。Standard ML在?泛使用的?言之中??不同，源于?具有正式?定《The Definition of Standard ML》 ^[4] ，?出了?言的 ?型?? （ 英? ： Type rule ） 和 操作?? ^[6] 。

?? [ ?? ]

存在?多SML??，包括：

?准 ：

• Standard ML of New Jersey （???SML/NJ），由 普林斯?大? 和 ????室 在1986年?始?合??的??，是一?完全的??器，具有??的?、工具、交互式外?和文?，?支持 Concurrent ML ^[7] 。
• MLton ，是一? 全程序?化 （ 英? ： Interprocedural optimization ） ??器，??生相比其他ML??非常快的代? ^[8] 。
• ML Kit ^[9] ，由 ?丁堡大? 的 Mads Tofte （ 英? ： Mads Tofte ） 等人在1989年?起?? ^[10] ，是一?非常?密的基于了?准定?的??，?集成了具有 基于?域?存管理 （ 英? ： region-based memory management ） 的??收集器，?存分配指令由??器推?，可以停用??收集器?支持???用。
• Poly/ML ^[11] ，由 ??大? 的David Matthews?? ^[12] ，是一?Standard ML的完全的??，??生快速代??支持多核硬件（通?Posix?程）；?的?行??系?，?行?行??收集和不可?子??的在?共享。
• HaMLet ^[13] ，由 MPI-SWS （ 英? ： Max Planck Institute for Software Systems ） 的Andreas Rossberg??，是一?SML解?器，意?成?精?且便宜的?准定??考??。
• Moscow ML ^[14] ，是一??量???，基于了 CAML Light ?行?引擎。
• LunarML，?生 Lua / JavaScript 的Standard ML??器 ^[15] 。

派生 ：

• SML# ^[16] ，是日本 ?北大? ??通信?究所 （ 英? ： Research Institute of Electronic Communication ） ??的SML家族新?言，提供了??多?性和C?言互操作性。?是常?的本机??器，名字的“#”?不暗示着要在.NET?架上?行。
• Alice （ 英? ： Alice (programming language) ） ，Alice ML是 ???大? ??的基于Standard ML的函?式?程?言，?增加了 惰性求? 、 ??性 （ 多?程 和通? ?程?程?用 的 分布式?算 ）和 ?束?程 特征。
• SOSML ^[17] ，是用 TypeScript ?的SML??，可以直接?行在web??器?。???了大多?SML?言和??的部?SML基本?。

?究 ：

• Isabelle/ML， ??大? 的 Larry Paulson （ 英? ： Larry Paulson ） ??的 Isabelle ，??行Poly/ML集成入交互式定理?明器 ^[18] ，?具有一?高端的IDE（基于了 jEdit ），用于官方Standard ML（SML'97）、Isabelle/ML方言和???明?言 ^[19] 。?始于Isabelle2016，??有一?源代??的ML的??器。
• CakeML ^[20] ，是一?基于了SML??性子集的?言，????x86-64机器?的 REPL ，?有正式??的?行???和到??代?的??。
• TILT ^[21] ，是一?完全??了的SML??器，?使用有?型的中??言??化代?和?保正?性，?可以??成 有?型的???言 （ 英? ： Typed assembly language ） 。
• Poplog （ 英? ： Poplog ） 系???一?版本的SML，?有 POP-11 （ 英? ： POP-11 ） 、可?的 Common Lisp 和 Prolog ，允?混合?言?程。

所有?些??都是 ?源 的?可自由的?得。其中多?用SML??了自身。不再有任何商?SML??。

使用SML的?目 [ ?? ]

?明?助器 HOL4 （ 英? ： HOL (proof assistant) ） 、 Isabelle 、 LEGO （ 英? ： LEGO (proof assistant) ） 和 Twelf （ 英? ： Twelf ） 是用Standard ML?成。??用于 ??器 制作和 集成?路?? 比如 ARM ^[22] 。

?? [ ?? ]

• OCaml
• F#

引用 [ ?? ]

外部?接 [ ?? ]

• Standard ML Family GitHub Project （ ?面存??? ，存于 互???案? ）
• Programming in Standard ML （ ?面存??? ，存于 互???案? ）
• cmlib － A basic library of algorithms and data structures (a la NJlib) （ ?面存??? ，存于 互???案? ）
• SML Help （ ?面存??? ，存于 互???案? ）
• Awesome Standard ML （ ?面存??? ，存于 互???案? ）
• Programming in Standard ML '97: An On-line Tutorial （ ?面存??? ，存于 互???案? ）
• CSE341: Programming Languages （ ?面存??? ，存于 互???案? ）, Dan Grossman, University of Washington.
• COMP 105 pages: Learning Standard ML （ ?面存??? ，存于 互???案? ）