ML

ML 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 and influenced subsequent functional language development. Wikipedia

Created Year: 1973
Designed by: Robin Milner
Developed by: Robin Milner

Wikidata: Q860654

Influenced: Alice • ATS • C++ • Caml • Ceylon • Claire • Clojure • C# • Erlang • Felix • F# • Gallina • Haskell • Kotlin • M • Miranda • ParaSail • Scala • Standard ML • Ur/Web

Influenced by: ISWIM

Programming paradigms: imperative programming • functional programming • procedural programming

Language types: procedural programming language • functional programming language