SML

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск
Standard ML
Семантика:

императивный

Класс языка:

функциональное программирование

Появился в:

1990 г.

Типизация данных:

строгая, статическая, вывод типов

Основные реализации:

MLton, MLWorks, Moscow ML, Poly/ML, SML.NET

Испытал влияние:

ML

Standard ML — модульный функциональный язык программирования общего назначения.

Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения, и поэтому не является чистым функциональным языком. При вычислениях использует «вызов-по-значению». Система типов основана на параметрическом полиморфизме. Последний стандарт языка, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка — Standard ML-97.

См. также


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

Источник — «http://www.sbup.com/wiki/SML»
Личные инструменты

Served in 0.398 secs.