Standard ML

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Standard ML — один из первых типизированных языков функционального программирования.

Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым. При вычислениях использует «вызов-по-значению». Используется очень интересная реализация модульности. Присутствует мощная полиморфная система типов (основанная на параметрическом полиморфизме). Последний стандарт языка — Standard ML-97, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка.

См. также[править]