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