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
Show 1 more fact
- inception
- 1973-01-01
Sources (3)
via Wikidata · CC0
~10 min read
Article
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
Connections
type system
Entity
programming language
Entity
immutable object
Entity
software
Entity
International Standard Book Number
Entity
Q15777
Entity
PHP
Entity
Q2005
Entity
Python
Entity
Java
Entity
Q2407
Entity
Q2370
Entity
Q47607
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Q42478
Entity
Q81571
Entity
Q161053
Entity
Q42979
Entity
Lua
Entity