Back أم أل المعيارية Arabic ML Estàndard Catalan Standard ML Czech Standard ML Danish Standard ML German Standard ML English Standard ML Esperanto Standard ML Spanish استاندارد امال Persian Standard ML French
| Standard ML | |
|---|---|
| Парадигма | процедурне програмування, імперативне програмування, модульне програмування і функційне програмування  |
| Дата появи | 1983[1] |
| Розробник | Робін Мілнер |
| Система типізації | вивід типів, строга типізація і статична |
| Під впливом від | ML |
| Звичайні розширення файлів | .sml |
| Вебсайт | smlfamily.github.io |
Standard ML (SML) — функційна мова програмування загального призначення зі статичною типізацією та автоматичним виведенням типів.
SML є сучасним продовженням мови програмування ML. На відміну від більшості інших мов програмування, SML має формальну специфікацію, вперше надруковану в 1990 та оновлену в 1997 році.[2]
- ↑ 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.