Back أم أل المعيارية Arabic ML Estàndard Catalan Standard ML Czech Standard ML Danish Standard ML German Standard ML English Standard ML Esperanto Standard ML Spanish استاندارد امال Persian Standard ML French
| パラダイム | マルチパラダイム: 関数型、命令型 |
|---|---|
| 型付け | 強い、静的、推論あり |
| 主な処理系 | MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ, SML.NET |
| 方言 | Alice、Dependent ML |
| 影響を受けた言語 | ML |
Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている[1]。
- ^ Milner, R.; M. Tofte, R. Harper and D. MacQueen. (1997年) (PDF). The Definition of Standard ML (Revised). MIT Press. ISBN 0-262-63181-4