ML_(programming_language)
's information is
Birth and death years unknown
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 subse
* Calculated from Wikipedia data.
Accuracy is not guaranteed.
| ML | |
|---|---|
| Paradigm | Multi-paradigm: functional, generic, imperative, interactive |
| Designed by | Robin Milner, others at the University of Edinburgh |
| First appeared | 1973 |
| Typing discipline | Inferred, static, strong |
| Dialects | |
| Dependent ML, Lazy ML, ATS | |
| Influenced by | |
| ISWIM, POP-2, PAL, GEDANKEN | |
| Influenced | |
| Caml, Clojure, Cyclone, C++, Elm, Erlang, F#, F*, Haskell, Idris, Kotlin, Miranda, Nemerle, OCaml, Opa, Rocq, Rust, Scala, Standard ML | |
Look up "ML_(programming_language)" on WikipediaWikipedia Categories
- Functional languages
- All articles to be expanded
- Academic programming languages
- ML programming language family
- High-level programming languages
- Programming languages created in 1973
- Pattern matching programming languages
- Statically typed programming languages
- Articles to be expanded from January 2026
Loading...