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]

Contents

Language

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