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

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

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

Standard ML является современным потомком языка ML, который разрабатывался для вывода автоматических доказательств теорем LCF.

Описание данного языка содержится в The Definition of Standard ML
(от1990 года, которое было исправлено и дополнено в 1997 году).




Конструктор сайтов - uCoz
Copyright MyCorp © 2018