| Standard ML | |
|---|---|
| Парадигма | процедурне програмування, імперативне програмування, модульне програмування і функційне програмування  |
| Дата появи | 1983[1] |
| Розробник | Робін Мілнер |
| Система типізації | вивід типів, строга типізація і статична |
| Під впливом від | ML |
| Звичайні розширення файлів | .sml |
| Вебсайт | smlfamily.github.io |
Standard ML (SML) —функційна мова програмування загального призначення зістатичною типізацією та автоматичним виведенням типів.
SML є сучасним продовженням мови програмуванняML. На відміну від більшості інших мов програмування, SML маєформальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[2]