Dependent ML

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

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

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

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

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


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

Served in 0.070 secs.