Key facts
- Paradigm
- Multi-paradigm : functional , generic , imperative , interactive
- Designed by
- Robin Milner , others at the University of Edinburgh
- First appeared
- 1973 ; 53 years ago ( 1973 )
- Typing discipline
- Inferred , static , strong
via Wikipedia infobox
Wikidata facts
- Instance of
- functional programming language
- Developer
- Robin Milner
- Designed by
- Robin Milner
Show 5 more facts
- programming paradigm
- procedural programming
- influenced by
- ISWIM
- inception
- 1973-01-01
- topic's main category
- Category:ML programming language family
- typing discipline
- strong typing
Sources (3)
via Wikidata · CC0
~10 min read
Encyclopedic overview
ML (Meta Language) is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language with polymorphic type inference in the Hindley–Milner style, and other features like exceptions and mutable variables. ML's design in LCF directly inspired the later ML family (notably Standard ML, Caml, and their derivatives) and influenced subsequent functional language development.
History
Excerpted from Wikipedia’s “ML” article, available under the CC BY-SA 4.0 licence.