Результаты поиска по запросу "haskell"
Проверка понимания: «Переменная» v.s. «Значение» и «функция» против «абстракции»
(Этот вопрос является продолжениемэтот во время изучения Haskell.)Я привык путать понятие между «переменной» и «значением». Поэтому я прочитал о вики-страниц...
Правильная терминология для продолжения
Я ковыряюсьпродолжения недавно, и я запутался в правильной терминологии.Вот Габриэль Гонсалес говорит:Продолжение на Haskell имеет следующий тип:
Типы высшего класса с C ++
Этот вопрос для людей, которые знают как Haskell (или любой другой функциональный язык, поддерживающий типы с более высоким родом) и C ++ ...Можно ли моделир...
Не могу установить sdl2 через cabal
Я пытаюсь установить
«Строго позитивный» в Агде
Я пытаюсь закодировать некоторую денотационную семантику в Agda на основе программы, которую я написал на Haskell.
Как вывести FRP из направленных ациклических графов?
В настоящее время я ищу для своего следующего проекта. Это на этапе предварительного планирования, поэтому этот вопрос просто для того, чтобы получить предст...
Почему не может быть экземпляра MonadFix для продолжения монады?
Как мы можем доказать этопродолжение монада не имеет действительного экземпляра
В чем принципиальная разница между машинами и кабелепроводами (или другими подобными библиотеками)?
Я хотел бы изучить концепцию, чтобы я мог понимать и использовать библиотеки, такие какмашины [http://hackage.haskell.org/package/machines]. Я пытался следоватьРазговор Рунара Бьярнасона о машинах [https://dl.dropbox.com/u/4588997/Machines.pdf], ...