SML
Семантика: |
императивный |
---|---|
Класс языка: |
функциональное программирование |
Появился в: |
1990 г. |
Типизация данных: | |
Основные реализации: | |
Испытал влияние: |
Standard ML — модульный функциональный язык программирования общего назначения.
Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым функциональным языком. При вычислениях использует «вызов-по-значению». Система типов основана на параметрическом полиморфизме. Последний стандарт языка, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка — Standard ML-97.
См. также
SQL | Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
В другом языковом разделе есть более полная статья Standard ML (англ.) Вы можете помочь проекту, дописав эту статью с помощью перевода.
|
Ошибка: неверное или отсутствующее изображение |
Для улучшения этой статьи желательно?:
|
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
Если вам нравится SbUP.com Сайт, вы можете поддержать его - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 и ещё....