Dependent ML

Материал из Википедии — свободной энциклопедии
Это текущая версия страницы, сохранённая InternetArchiveBot (обсуждение | вклад) в 13:14, 31 января 2021 (Спасено источников — 1, отмечено мёртвыми — 0. Сообщить об ошибке. См. FAQ.) #IABot (v2.0.8). Вы просматриваете постоянную ссылку на эту версию.
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску
Dependent ML
Класс языка язык программирования

Dependent ML — экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвэем Си как расширение ML путём ограничения представления зависимых типов: типы могут зависеть от статических указателей типа Nat. Основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения[уточнить].

Был замещён языком ATS и по этой причине в фазе активной разработки больше не находится.

Дополнительные источники

[править | править код]
Источник — https://ru.wikipedia.org/w/index.php?title=Dependent_ML&oldid=112081693