SML

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Standard ML
Семантика:

императивный

Класс языка:

функциональное программирование

Появился в:

1990

Система типов:

строгая, статическая, вывод типов

Основные реализации:

MLton, MLWorks, Moscow ML, Poly/ML, SML.NET

Испытал влияние:

ML

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

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

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