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. ParadigmGeneral-purpose, high-level, modular, functional; static, strong type checking with type inference. 1 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. 1 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
Invented By
Source Wikipedia: Standard ML
Sources
1. 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
View the Source 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.