Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
Вики
Экспериментальные языки программирования
Вики
Карри (язык программирования)
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения