Dependent ML
Материал из Seo Wiki - Поисковая Оптимизация и Программирование
Перейти к навигацииПерейти к поиску
Dependent ML (зависимый метаязык) — экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвеем Хи. Dependent ML расширяет язык программирования ML путем ограничения представления зависимых типов: типы могут зависеть от статических указателей типа Nat. Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.
Dependent ML был замещен языком ATS и по этой причине в фазе активной разработки больше не находится.
Дополнительные источники
- Домашняя страница DML (Проверено 14 октября 2009)
| SQL | Это незавершённая статья о компьютерных языках. Вы можете помочь проекту, исправив и дополнив её. |
Если вам нравится SbUP.com Сайт, вы можете поддержать его - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 и ещё....
→
