SML

Материал из Seo Wiki - Поисковая Оптимизация и Программирование
Перейти к навигацииПерейти к поиску
Standard ML
Семантика:

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

Класс языка:

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

Появился в:

1990 г.

Типизация данных:

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

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

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

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

ML

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

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

См. также


ca:ML Estàndard da:Standard ML de:Standard ML en:Standard ML es:Standard ML fr:Standard ML hu:SML it:Standard ML ja:Standard ML ka:Standard ML pl:Standard ML pt:Standard ML tr:Standart ML uk:Standard ML