Standard ML
General-purpose functional programming language / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Standard ML?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers.
Quick Facts Paradigm, Family ...
Paradigm | Multi-paradigm: functional, imperative, modular[1] |
---|---|
Family | ML |
First appeared | 1983; 41 years ago (1983)[2] |
Stable release | |
Typing discipline | Inferred, static, strong |
Filename extensions | .sml |
Website | smlfamily |
Major implementations | |
SML/NJ, MLton, Poly/ML | |
Dialects | |
Alice, Concurrent ML, Dependent ML | |
Influenced by | |
ML, Hope, Pascal | |
Influenced | |
Elm, F#, F*, Haskell, OCaml, Python,[3] Rust,[4] Scala |
Close
Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML.[5]