Dependent ML — экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвэем Си как расширение ML путём ограничения представления зависимых типов: типы могут зависеть от статических указателей типа Nat. Основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.
Был замещён языком ATS и по этой причине в фазе активной разработки больше не находится.
Дополнительные источники Домашняя страница DML
Категория:Языки программирования семейства ML Категория:Декларативные языки программирования Категория:Типозависимые формальные языки Категория:Языки программирования, появившиеся в 1990-х годах