Programming language · 1973
ML
Functional programming language.
What is ML written in?
Its runtime is implemented in C (documented).
Quick Facts
- Designed by
- Robin Milner
- First released
- 1973
- Typing
- static
About ML
ML is a functional programming language. It is a statically typed language that compiles ahead of time to native machine code. It supports functional and imperative programming.
ML first appeared in 1973 and was designed by Robin Milner. ML is now used mainly in specialized niches and by dedicated communities.
How ML is implemented
In the Language Lineage dataset, its runtime is implemented in C.
ML in the language family tree
ML drew on ideas from Lisp and went on to influence Standard ML, Haskell, OCaml, F#, Rust, and Mercury.
Frequently Asked Questions
What language is ML written in?
ML is primarily implemented in C. See the implementation section above for details and source references.
What languages influenced ML?
ML was influenced by Lisp among others. See the influence section above for the full list.
Which languages did ML influence?
ML influenced Standard ML, Haskell, OCaml among others.
When was ML first released?
ML was first released in 1973. It was designed by Robin Milner.
Evidence Sources
- https://en.wikipedia.org/wiki/ML_(programming_language)
- https://en.wikipedia.org/wiki/Standard_ML
- https://en.wikipedia.org/wiki/Haskell
- https://en.wikipedia.org/wiki/OCaml
- https://fsharp.org/history/hopl-final/hopl-fsharp.pdf
- https://en.wikipedia.org/wiki/Rust_(programming_language)
- https://en.wikipedia.org/wiki/Mercury_(programming_language)
- https://en.wikipedia.org/wiki/Hope_(programming_language)
- https://en.wikipedia.org/wiki/ATS_(programming_language)
- https://en.wikipedia.org/wiki/Coq
- ML on Wikidata (Q860654)