Standard ML
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
Standard ML | |
---|---|
Парадигма | Процедурне програмування, Імперативне програмування, модульне програмування і Функційне програмування |
Дата появи | 1983 |
Система типізації | вивід типів, строга типізаціяd і статичнаd |
Під впливом від | ML |
Вебсайт | smlfamily.github.io |
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[1]
Навчальні матеріали
- (англ.) Dan Grossman, CSE341: Programming Languages, University of Washington. Також на Coursera та YouTube.
- (англ.) Stephen Gilmore, Programming in Standard ML '97: An On-line Tutorial, University of Edinburgh. Також у форматі PDF.
- (англ.) Robert Harper, Programming in Standard ML, Carnegie Mellon University.
Примітки
- Milner, R.; Mads Tofte, Robert Harper and David MacQueen. (1997). The Definition of Standard ML (Revised). MIT Press. ISBN 0-262-63181-4.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.