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 (6)
| Label | Occurrences |
|---|---|
| ML canonical | 10 |
| ML programming language | 5 |
| ML (programming language family) | 2 |
| ML (programming language) | 2 |
| ML family | 1 |
| ML programming language family | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1160343 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: ML Context triple: [Elm, influencedBy, ML]
-
A.
MS in Machine Learning
MS in Machine Learning is a specialized graduate program at Carnegie Mellon University focused on advanced theory and applications of machine learning and statistical methods for building intelligent systems.
-
B.
LM
LM is the IATA airline designator assigned to Loganair, a regional airline based in Scotland.
-
C.
AI
Amnesty International is a global non-governmental organization focused on protecting human rights and campaigning against abuses such as torture, unjust imprisonment, and the death penalty.
-
D.
KDD
KDD is the commonly used abbreviation for Norway’s Ministry of Local Government and Regional Development, a government body responsible for municipal affairs, regional policy, and housing.
-
E.
scikit-learn
scikit-learn is a widely used open-source Python library that provides efficient tools for data mining, data analysis, and implementing a broad range of machine learning algorithms.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: ML Target entity description: 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.
-
A.
MS in Machine Learning
MS in Machine Learning is a specialized graduate program at Carnegie Mellon University focused on advanced theory and applications of machine learning and statistical methods for building intelligent systems.
-
B.
LM
LM is the IATA airline designator assigned to Loganair, a regional airline based in Scotland.
-
C.
AI
Amnesty International is a global non-governmental organization focused on protecting human rights and campaigning against abuses such as torture, unjust imprisonment, and the death penalty.
-
D.
KDD
KDD is the commonly used abbreviation for Norway’s Ministry of Local Government and Regional Development, a government body responsible for municipal affairs, regional policy, and housing.
-
E.
scikit-learn
scikit-learn is a widely used open-source Python library that provides efficient tools for data mining, data analysis, and implementing a broad range of machine learning algorithms.
- F. None of above. chosen
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 |
Caml
ⓘ
linked to:
OCaml
F# ⓘ OCaml ⓘ Standard ML ⓘ |
| hasTypeSystem | static typing ⓘ |
| influenced |
Caml
ⓘ
linked to:
OCaml
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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: ML Description of subject: 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.
Referenced by (21)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: ML
linked to: ML
linked to: ML
linked to: ML
subject linked to:
Arthur
linked to: ML
subject linked to:
Pizza programming language
linked to: ML
linked to: ML
linked to: ML
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
→
influenced
→
ML programming language
ⓘ
linked to: ML
subject linked to:
Miranda programming language
linked to: ML