Standard ML — Вікіпедія

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

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

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

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

[ред. | ред. код]

Навчальні матеріали

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. https://www.smlnj.org/sml97.html
  2. 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.

Див. також

[ред. | ред. код]