ghci

3зной

1ответ

Для (->) мы имеем: Prelude> :i (->) data (->) t1 t2 -- Defined in ‘GHC.Prim’ Что этот синтаксис означает? Я думал, что ключевому слову объявления требуется конструктор типа в LHS и один или неско

2зной

3ответ

Получение многострочной функции haskell для работы в ghci

Я создал эту функцию haskell для удаления нечетных чисел из списка и пытался в ghci. Я продолжаю получать ошибку ниже, хотя я включил многострочный режим и использовал 4 пробела для отступов. Prelude>

0зной

1ответ

Bind переменного типа в сеансе GHCI

Давайте fmap . const как простой пример, когда я пытаюсь понять, что он делает: fmap :: Functor f => (a -> b) -> f a -> f b const :: a -> b -> a Кулак, что я замечаю, что a, b неоднозначен, когда я

2зной

1ответ

ghci randomio type вывод

Я следую https://en.wikibooks.org/wiki/Haskell/Understanding_monads/State и randomIO печатает целое число в ghci напрямую. Учитывая, что его тип является полиморфным, как ghci знает, что это Int здесь

0зной

2ответ

Почему мой код в Haskell работать в командной строке, но не в файле

У меня есть следующий код, который хорошо работает в командной строке: ghci> [let square x = x * x in (square 5, square 3, square 2)] [(25,9,4)] , но когда я его в файл и скомпилировать его, его не

1зной

1ответ

Список экзистенциально ОПРЕДЕЛЕННЫХ КОЛИЧЕСТВЕННЫХ Конструкторы

У меня есть следующие типы данных: {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE ExtendedDefaultRules #-} class ToString a where data M = forall a. (ToString a) => B a В GHCI я могу с

0зной

1ответ

Почему это выражение GHCi не имеет выхода?

Edit: Хорошо, я знаю, что нет ничего плохого в этом, но я не знаю, почему она не дает OUTPUT let y = 2 * x where x = sum[1..3] Я только интересно, потому что это другое выражение не дают OUTPUT let