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