Anonymous user
Category:Standard ML: Difference between revisions
m
Filling out language template
m (add semantic markup) |
m (Filling out language template) |
||
Line 3:
|strength=strong
|checking=static
|express=implicit
|site=http://www.smlnj.org/
}}{{language programming paradigm|functional}}
'''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.
|