BlooP и FlooP
Шлеп и шлеп Описание языков BlooP и FlooP BlooP и FlooP — простые языки программирования, разработанные Дугласом Хофштадтером. BlooP — […]
Вики
Experimental programming languages
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris – функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
Карри (язык программирования)
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения