Standard ML

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

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

Джерела інформації[ред.ред. код]

  1. Milner, R.; M. Tofte, R. Harper and D. MacQueen. (1997). The Definition of Standard ML (Revised). MIT Press. ISBN 0-262-63181-4. 

Дивіться також[ред.ред. код]