Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.

Standard ML
Парадигма Процедурне програмування, імперативне програмування, модульне програмування і Функційне програмування
Дата появи 1983
Система типізації вивід типів, строга типізаціяd і статична
Під впливом від ML
Звичайні розширення файлів .sml
Вебсайт smlfamily.github.io

SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[1]

Реалізації та компіляториРедагувати

Навчальні матеріалиРедагувати

ПриміткиРедагувати

  1. 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. 

Див. такожРедагувати