What is Standard ML written in?
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
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
Spot something wrong?
Every fact on this page is meant to be checkable. If one is wrong, say so and it becomes a dataset change, not a patch to this page.