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