Standard ML: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Standard ML or '''SML''' is a general purpose functional programming language that gained some popularity in the 90's as a language for use in informatics research. It is a derivative of [[ML]]. | Standard ML or '''SML''' is a general purpose functional programming language that gained some popularity in the 90's as a language for use in informatics research. It is a derivative of [[ML]]. | ||
== History == | |||
The language was developed between 1983 and 1985 at the University of Edinburgh. | |||
Standard ML of New Jersey (SML/NJ) was developed jointly at Bell Laboratories, Princeton University and Yale University. | |||
Caml (''Categorical Abstract Machine Language'') is a dialect of the ML programming language developed at ENS (later INRIA) in France. | |||
== OS/2 implementations == | |||
* Moscow ML | |||
* SML/PM | |||
====Standard ML related programmer's utilities==== | ====Standard ML related programmer's utilities==== | ||
| Line 5: | Line 16: | ||
==Publications== | ==Publications== | ||
* A.J.R. Milner and M. Tofte: The Definition of Standard ML - 1990 - MIT Press | * A.J.R. Milner and M. Tofte: ''The Definition of Standard ML'' - MIT Press 1990 | ||
* Milner; Harper; MacQueen; Tofte: ''The Definition of Standard ML'' (Revised Edition) - MIT Press 1997, ISBN 9780262631815 | |||
* Harper: ''Programming in Standard ML'' - [http://www.cs.cmu.edu/~rwh/smlbook/book.pdf PDF] 2011 | |||
== Links == | |||
* [http://www.smlnj.org/ Standard ML of New Jersey] | |||
* [http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html Standard ML and Objective Caml, Side by Side] | |||
[[Category:Programming Languages]] | [[Category:Programming Languages]] | ||
[[Category:ML]] | [[Category:ML]] | ||
[[Category:Functional programming]] | [[Category:Functional programming]] | ||
Revision as of 23:56, 16 March 2016
Standard ML or SML is a general purpose functional programming language that gained some popularity in the 90's as a language for use in informatics research. It is a derivative of ML.
History
The language was developed between 1983 and 1985 at the University of Edinburgh.
Standard ML of New Jersey (SML/NJ) was developed jointly at Bell Laboratories, Princeton University and Yale University.
Caml (Categorical Abstract Machine Language) is a dialect of the ML programming language developed at ENS (later INRIA) in France.
OS/2 implementations
- Moscow ML
- SML/PM
- Exuberant ctags - Creates index files out of SML source files - Open source - Current.
Publications
- A.J.R. Milner and M. Tofte: The Definition of Standard ML - MIT Press 1990
- Milner; Harper; MacQueen; Tofte: The Definition of Standard ML (Revised Edition) - MIT Press 1997, ISBN 9780262631815
- Harper: Programming in Standard ML - PDF 2011