Editing Standard ML (section)

{{Short description|General-purpose functional programming language}}
{{Infobox programming language
| name = Standard ML
| logo =
| paradigm = [[Programming paradigm|Multi-paradigm]]: [[Functional programming|functional]], [[Imperative programming|imperative]], [[Modular programming|modular]]<ref name="intro"/>
| family = [[ML (programming language)|ML]]
| designer =
| released = {{Start date and age|1983|df=yes}}<ref name="smlnj"/>
| latest release version = Standard ML '97<ref name="smlnj"/>
| latest release date = {{Start date and age|1997|df=yes}}
| typing = [[Type inference|Inferred]], [[Type system#static type checking|static]], [[Strong and weak typing|strong]]
| implementations = [[Standard ML of New Jersey|SML/NJ]], [[MLton]], [[Poly/ML]]
| dialects = [[Alice (programming language)|Alice]], [[Concurrent ML]], [[Dependent ML]]
| influenced by = [[ML (programming language)|ML]], [[Hope (programming language)|Hope]], [[Pascal (programming language)|Pascal]]
| influenced = [[Elm (programming language)|Elm]], [[F Sharp (programming language)|F#]], [[F* (programming language)|F*]], [[Haskell]], [[OCaml]], [[Python (programming language)|Python]],<ref name="itertools"/> [[Rust (programming language)|Rust]],<ref>{{Cite web |url=https://doc.rust-lang.org/reference/influences.html |title=Influences - The Rust Reference |website=The Rust Reference |access-date=2023-12-31}}</ref> [[Scala (programming language)|Scala]]
| file ext = .sml
| website =
}}

'''Standard ML''' ('''SML''') is a [[General-purpose programming language|general-purpose]], [[High-level programming language|high-level]], [[Modular programming|modular]], [[Functional programming|functional]] [[programming language]] with compile-time [[type checking]] and [[type inference]]. It is popular for writing [[compiler]]s, for [[programming language research]], and for developing [[automated theorem proving|theorem provers]].

Standard ML is a modern dialect of [[ML (programming language)|ML]], the language used in the [[Logic for Computable Functions]] (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a [[formal specification]], given as [[typing rule]]s and [[operational semantics]] in ''The Definition of Standard ML''.<ref name="revision"/>