Rosetta Code

Category:Standard ML: Difference between revisions

Category Discussion

Category:Standard ML (view source)

Revision as of 04:18, 2 December 2007

No change in size ,  16 years ago
m
Changed over to language header
(Added Programming Language template)
m (Changed over to language header)
Line 1:
{{Programminglanguage|Standard LanguageML}}'''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 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).
Anonymous user
Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/13170"