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