Standard ML descends from ML, which Robin Milner created at the University of Edinburgh in 1973 as the language for the LCF theorem prover. Standard ML's own formal specification, The Definition of Standard ML, was first published in 1990 and revised in 1997; it is a general-purpose, high-level, modular, functional language with compile-time type checking and type inference. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
First Released1973 is Robin Milner's original ML at Edinburgh; the Standard ML specification was first published in 1990. First Released ParadigmGeneral-purpose, high-level, modular, functional; static, strong type checking with type inference. 2 SignificanceDistinctive among widely used languages for having a formal specification, given as typing rules and operational semantics; it shaped the later development of Haskell, Elm, F#, OCaml, Rust and Scala, and remains important for compiler-writing, programming-language research and theorem provers. 2 Classification
Typing Discipline Typing Discipline Standard ML
Filter Results1 entry
Connections
In Field
Source Wikipedia: Standard ML
Influenced
Source Wikipedia: Standard ML
OCaml infobox: "Influenced by: C, Caml, Modula-3, Pascal, Standard ML." en.wikipedia.org/wiki/OCaml
Source Wikidata: OCaml
Invented By
Source Wikidata: Standard ML
Additional Source Wikipedia: Standard ML
Sources
1. Wikidata: Standard ML
- Wikidata Q597330, class allow-list match (w-wdresolver-0926)
- Wikidata Q597330 P571 (inception)
- Wikidata Q597330 P7078 (typing discipline)
View the Source2. Wikipedia: Standard ML
Wikimedia Foundation- History section
Lead section
distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics
- Invented By: Robin Milner
- In Field: Programming Language Theory
- In Group: ML Dialects, lead states Standard ML is a modern dialect of ML, the language used in the LCF theorem-proving project
View the Source Wikidata: Nemerle
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.