What is ML written in?
Its runtime is implemented in C (documented).
Relationship Graph
All directly connected languages. Click any node to navigate to its page.
Runtime Implementation
| Language | Confidence | Notes | Source |
|---|---|---|---|
| C | 90% | Standard ML of New Jersey (SML/NJ) runtime written in C | Source |
Influenced By
- Lisp — ML influenced by Lisp in interactive style
Languages ML Influenced
- Standard ML — SML is a direct standardization of ML
- OCaml — OCaml is an ML dialect with objects added
- Haskell — Haskell drew heavily from ML's type system
- F# — F# is strongly derived from ML/OCaml
- Rust — ML family influenced Rust's type system and pattern matching
- Mercury — Mercury influenced by ML's static type system
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.
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)