Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
Standard ML | |
---|---|
Парадигма | Процедурне програмування, імперативне програмування, модульне програмування і Функційне програмування |
Дата появи | 1983 |
Система типізації | вивід типів, строга типізація і статична |
Під впливом від | ML |
Звичайні розширення файлів | .sml |
Вебсайт | smlfamily.github.io |
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.
Реалізації та компілятори Редагувати
- Poly/ML [ 27 червня 2020 у Wayback Machine.]
- Standard ML of New Jersey [ 1 травня 2020 у Wayback Machine.]
- MLton [ 3 січня 2009 у Wayback Machine.]
- 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). . MIT Press. ISBN 0-262-63181-4. Архів оригіналу за 29 січня 2016. Процитовано 23 січня 2016.