- SML
-
Standard ML Семантика: императивный
Класс языка: функциональное программирование
Появился в: 1990
Типизация данных: Основные реализации: MLton, MLWorks, Moscow ML, Poly/ML, SML.NET
Испытал влияние: Standard ML — модульный функциональный язык программирования общего назначения.
Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым функциональным языком. При вычислениях использует «вызов-по-значению». Система типов основана на параметрическом полиморфизме. Последний стандарт языка, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка — Standard ML-97.
См. также
Для улучшения этой статьи желательно?: - Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
- Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
Категории:- Появились в 1990 году
- Языки программирования по алфавиту
- Языки программирования семейства ML
Wikimedia Foundation. 2010.