ML

E131757

ML is a statically typed functional programming language developed at the University of Edinburgh, known for pioneering features like type inference, pattern matching, and modules that strongly influenced later languages such as Elm, Haskell, and OCaml.

All labels observed (4)

Label Occurrences
ML canonical 9
ML programming language 4
ML (programming language family) 2

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf functional programming language
programming language
statically typed programming language
designedBy Robin Milner
others at the University of Edinburgh
developedAt University of Edinburgh
developedIn United Kingdom
executionModel compiled
hasAbbreviationFor Meta Language
hasFamily ML language family
hasFeature algebraic data types
exceptions
first-class functions
higher-order functions
immutable data structures
modules
parametric polymorphism
pattern matching
strong typing
type inference
hasInfluenceOn module systems in later languages
pattern matching syntax in modern languages
type theory in programming languages
hasParadigm functional programming
imperative programming
procedural programming
hasSuccessor OCaml
surface form: Caml

F#
OCaml
Standard ML
hasTypeSystem static typing
influenced OCaml
surface form: Caml

Elm
F#
Haskell
OCaml
ReasonML
Rust type system design
Scala
Standard ML
introduced early 1970s
notableFor module system design
pioneering pattern matching in a mainstream language
pioneering type inference in a practical language
originatedInContextOf LCF theorem prover
supports interactive toplevel
usedFor language research
teaching programming languages
theorem proving

How these facts were elicited

Referenced by (16)

Full triples — surface form annotated when it differs from this entity's canonical label.

Elm influencedBy ML
Robin Milner knownFor ML
this entity surface form: ML programming language
Haskell influencedBy ML
Erlang influencedBy ML
ISWIM influenced ML
OCaml family ML
Milner notableWork ML
subject surface form: Robin Milner
this entity surface form: ML programming language
Arthur John Robin Gorell Milner notableWork ML
this entity surface form: ML programming language
Hindley–Milner type system usedIn ML
this entity surface form: ML programming language family
Don Syme influencedBy ML
this entity surface form: ML (programming language family)
Arthur notableWork ML
subject surface form: Arthur John Robin Gorell Milner
this entity surface form: ML programming language
Clojure influencedBy ML
Pizza programming language influencedBy ML
subject surface form: Pizza (programming language)
this entity surface form: ML (programming language family)