Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как […]
Вики
Free software programmed in Haskell
Вики
Параллельный Haskell
Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма. Основные концепции включают примитивный тип MVar и
Вики
Быстрая проверка
Быстрая проверка Обзор библиотеки QuickCheck QuickCheck — это библиотека для тестирования программного обеспечения, написанная на Haskell. Она совместима с компиляторами
Вики
Кабал (программное обеспечение)
Заговор (программное обеспечение) История и развитие Haskell Cabal Cabal был создан для упрощения упаковки программного обеспечения на языке Haskell. Введен
Вики
Язык программирования
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана