| Семантика: |
императивный |
|---|---|
| Класс языка: |
функциональное программирование |
| Появился в: |
1990 |
| Типизация данных: | |
| Основные реализации: | |
| Испытал влияние: |
Standard ML — модульный функциональный язык программирования общего назначения.
Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым функциональным языком. При вычислениях использует «вызов-по-значению». Система типов основана на параметрическом полиморфизме. Последний стандарт языка, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка — Standard ML-97.
| Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
SML.