Standard ML
Standard ML (SML) is a general-purpose, 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.
| Paradigm | Multi-paradigm: functional, imperative, modular |
|---|---|
| Family | ML |
| First appeared | 1983 |
| Stable release | Standard ML '97
/ 1997 |
| Typing discipline | Inferred, static, strong |
| Filename extensions | .sml |
| Website | smlfamily |
| Major implementations | |
| SML/NJ, MLton | |
| Dialects | |
| Alice, Concurrent ML, Dependent ML | |
| Influenced by | |
| ML, Hope, Pascal | |
| Influenced | |
| Elm, F#, F*, Haskell, OCaml, Python, Rust, Scala | |
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.