Dependent ML (зависимый метаязык) — экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвеем Хи. Dependent ML расширяет язык программирования ML путём ограничения представления зависимых типов: типы могут зависеть от статических указателей типа Nat. Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.
Dependent ML был замещен языком ATS и по этой причине в фазе активной разработки больше не находится.
Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .