Anonymous user
Category:Standard ML: Difference between revisions
it's a functional language
(SML is compiled to machine code) |
(it's a functional language) |
||
Line 3:
|strength=strong
|checking=static
|express=implicit}}{{language programming paradigm|functional}}
SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique 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).
|