Standard ML
| Standard ML | |
|---|---|
| Парадигма | процедурне програмування, імперативне програмування, модульне програмування і функційне програмування |
| Дата появи | 1983[1] |
| Система типізації | вивід типів, строга типізація і статична |
| Під впливом від | ML |
| Звичайні розширення файлів | .sml |
| Вебсайт | smlfamily.github.io |
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[2]
Реалізації та компілятори
Навчальні матеріали
- (англ.) 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.
Примітки
- ↑ https://www.smlnj.org/sml97.html
- ↑ Milner, R.; Mads Tofte, Robert Harper and David MacQueen. (1997). The Definition of Standard ML (Revised). MIT Press. ISBN 0-262-63181-4.
Див. також