ghci

4зной

2ответ

Что не так с моим определением оператора привязки Haskell в этом примере?

Я следую инструкциям по трансформаторам монады here. At this point in the tutorial, он просит меня, чтобы попытаться реализовать экземпляр Monad для типа EitherIO данных, определяется как: data Either

1зной

1ответ

Haskell странный тип умозаключение сужение

GHCI 7.8.3 filter (\(a,b) -> a>0) :: (Ord a, Num a) => [(a, t)] -> [(a, t)] , как и ожидалось^ fstGt0 xs = filter (\(a,b) -> a>0) xs тот же тип тоже, но fstGt0 = filter (\(a,b) -> a>0) как вывод

5зной

1ответ

Как включить расширения GHC в грамотном сценарии Haskell?

Я работаю над грамотным сценарием Haskell, который определяет тип данных Grammar, который должен быть загружен в GHCI (v. 7.8.3) на моем Mac. Я пытаюсь включить расширения языка под названием KindSign

1зной

1ответ

GHC не может найти динамические библиотеки - Не удалось найти модуль «Data.Functor.Reverse»

GHCi-7.8.4 ничего не загрузит из библиотеки transformers, так как он не может найти файл GHCi. Что не так? Prelude> import Data.Functor.Reverse <no location info>: Could not find module ‘Data.F

1зной

1ответ

Загрузите модуль GHCi по имени модуля, если имя модуля не совпадает с именем файла

Пусть я даюсь исходный файл с именем MyModule.hs и внутри него декларация модуля module My.Module where ... (примечание: неmodule MyModule where ...). Мне не разрешено изменять этот исходный файл или

2зной

1ответ

Как использовать математические символы (имя функции) в ghci?

Я изучаю Haskell. Я вижу, что автор использует некоторые математические символы юникода в коде here (например, ∀). Я стараюсь использовать это тоже, например: (∀) :: (a -> b) -> [a] -> [b] f ∀ [] = [

10зной

1ответ

взаимной рекурсии в нечетных/четных функций в Haskell

В главе 6 «Программирование в Haskell» Грэма Хаттона есть раздел под названием «6.5 Взаимная рекурсии», который содержит следующий пример: even :: Int -> Bool even 0 = True even (n + 1) = odd n o