Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
Вики
Семейство языков программирования Haskell
Вики
Хьюм (язык программирования)
Hume (язык программирования) Обзор языка программирования Hume Hume — это функциональный язык программирования, разработанный в Шотландии с 2000 года. Название
Вики
Карри (язык программирования)
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения
Вики
Параллельный Haskell
Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма. Основные концепции включают примитивный тип MVar и
Вики
Elm (язык программирования)
Elm (язык программирования) Обзор Elm Elm — это специализированный язык для создания графических интерфейсов на основе веб-браузера. Язык функциональный, ориентирован
Вики
Язык программирования
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана