Standard ML (SML) — функційна мова програмування загального призначення зі статичною типізацією та автоматичним виведенням типів.
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.
Реалізації та компілятори Poly/ML Standard ML of New Jersey MLton MLKit Moscow ML SML.NET
Навчальні матеріали 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.
Примітки
Див. також
OCaml