Standard ML

related topics
{math, number, function}
{work, book, publish}
{company, market, business}
{style, bgcolor, rowspan}

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

SML is a modern descendant of the ML programming 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 (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).[1]



Standard ML is a functional programming language with some impure features. Programs written in Standard ML consist of expressions to be evaluated, as opposed to statements or commands, although some expressions return a trivial "unit" value and are only evaluated for their side-effects.

Full article ▸

related documents
Complete metric space
Equivalence relation
L'Hôpital's rule
Cantor's diagonal argument
Insertion sort
Tail recursion
Kernel (matrix)
Icon (programming language)
Square root
Cholesky decomposition
Hausdorff dimension
Template (programming)
Extended Euclidean algorithm
Uniform continuity
Taylor's theorem
Natural number
Analysis of algorithms
Dirac delta function
Vigenère cipher
Metric space
Abstraction (computer science)
Chaitin's constant
Breadth-first search
Euclidean space
Goldbach's conjecture