What is Standard ML written in?
The Standard ML compiler is written in Standard ML (documented). Standard ML is self-hosting.
Quick Facts
- Developer
- Robin Milner
- First released
- 1983
- Typing
- static
- Filename extension
- .sml
- Website
- smlfamily.github.io
About Standard ML
Standard ML is a programming language. It is a statically typed language that compiles ahead of time to native machine code. It supports functional and imperative programming.
Standard ML first appeared in 1983. Development is led by Robin Milner. Standard ML is now used mainly in specialized niches and by dedicated communities.
How Standard ML is implemented
In the Language Lineage dataset, Standard ML is self-hosting, so its own compiler is written in Standard ML itself. Reaching self-hosting, where a language is mature enough to compile itself, is a milestone that proves the language can handle a large, real-world program.
Standard ML in the language family tree
Standard ML drew on ideas from ML and went on to influence OCaml and Python.
Sources: Wikipedia · Wikidata · Official site
Frequently Asked Questions
What language is Standard ML written in?
Standard ML is primarily implemented in Standard ML. See the implementation section above for details and source references.
What languages influenced Standard ML?
Standard ML was influenced by ML among others. See the influence section above for the full list.
Which languages did Standard ML influence?
Standard ML influenced OCaml, Python among others.
Is Standard ML self-hosting?
Yes, Standard ML is self-hosting, its compiler can compile itself.
When was Standard ML first released?
Standard ML was first released in 1983.
Evidence Sources
- https://en.wikipedia.org/wiki/Standard_ML
- https://en.wikipedia.org/wiki/OCaml
- https://www.smlnj.org/
- https://en.wikipedia.org/wiki/Python_(programming_language)
- Standard ML on Wikidata (Q597330)
Discover More
What is Standard ML written in?
What are programming languages written in?
Standard ML in the language family tree
Interactive programming language graph
Is Standard ML self-hosting?
Compiler bootstrapping explained
Languages Standard ML influenced: OCaml
Languages Standard ML influenced: Python
Languages that influenced Standard ML: ML