Standard ML
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типізацією та автоматичним виведенням типів.
| Standard ML | |
|---|---|
| Парадигма | процедурне програмування, імперативне програмування, модульне програмування і функційне програмування |
| Дата появи | 1983[1] |
| Розробник | Робін Мілнер |
| Система типізації | вивід типів, строга типізація і статична |
| Під впливом від | ML |
| Звичайні розширення файлів | .sml |
| Вебсайт | smlfamily.github.io |
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[2]
Реалізації та компілятори
ред.- Poly/ML [Архівовано 27 червня 2020 у Wayback Machine.]
- Standard ML of New Jersey [Архівовано 1 травня 2020 у Wayback Machine.]
- MLton [Архівовано 3 січня 2009 у Wayback Machine.]
- MLKit
- Moscow ML [Архівовано 11 січня 2016 у Wayback Machine.]
- SML.NET [Архівовано 29 січня 2016 у Wayback Machine.]
Навчальні матеріали
ред.- (англ.) Dan Grossman, CSE341: Programming Languages [Архівовано 1 жовтня 2013 у Wayback Machine.], University of Washington. Також на Coursera [Архівовано 29 січня 2016 у Wayback Machine.] та YouTube [Архівовано 13 серпня 2020 у Wayback Machine.].
- (англ.) Stephen Gilmore, Programming in Standard ML '97: An On-line Tutorial [Архівовано 17 січня 2016 у Wayback Machine.], University of Edinburgh. Також у форматі PDF [Архівовано 2 липня 2016 у Wayback Machine.].
- (англ.) Robert Harper, Programming in Standard ML [Архівовано 15 лютого 2020 у Wayback Machine.], 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. Архів оригіналу за 29 січня 2016. Процитовано 23 січня 2016.
Див. також
ред.