ghci

На этот вопрос уже есть ответ здесь: есть ли у ghci список всех возможных экземпляров класса типа? 1 ответ Есть ли способ, чтобы задать г Если тип создает typeclass? Я дурачился с оператором ^^ и набрал: Prelude>...

Когда я спрашиваю тип оператора+, это так, как вы ожидаете Prelude> :t (+) (+) :: Num a => a -> a -> a Когда я присваиваю оператор переменной, то сигнатуры типа меняются Prelude> let x = (+) Prelude> :t x x :: Integer -> Integer -> Integer Почему изменяется тип оператора, когда...

Пытаюсь преобразовать список битов (0,1) в Int8 или что-то подобное, чтобы я не тратил байт из ByteString только на 1 бит Например, у меня может быть список типа [0,1,0,0,0,1,1,1,1,0], который в качестве Байтестринга представляет каждый из них как байт вместо бита....

В качестве упражнения я пытаюсь реализовать интересные части прелюдии вручную. Всякий раз, когда я замечаю возможность пойти в точку бесплатно, я использую ее. Однако это привело меня к кирпичной стене в самом неожиданном месте. Используя этот код: myelem _ [] = False myelem x y = if x == head y then True...

Простой вопрос. Можно ли проверить тип переменной, которая существует только в функции? Например: main = do x <- something Как я могу проверить тип x? Я не могу сделать :type x в ghci, потому что x не является глобальным....

Я новичок в Хаскелле, так что это может быть нубовский вопрос. Когда я делаю return 10 >>= return GHCi показывает 10. Когда я проверяю тип return 10 с :t, он просто говорит return 10 :: (Monad m, Num a) => m a, и я делаю typeOf return 10, я получаю ошибку. Но насколько я понимаю, Хаскелл должен бы...

Вступление: Проверяя "постоянную"библиотеку сноймана , я обнаружил, что мне нужна помощь ghci (или другого инструмента) в выяснении вещей. Ghci :info, похоже, не так хорошо работает с семействами типов и семействами данных, как с "простыми" типами: > :info Maybe data Maybe a = Nothing | Just a --...

Скажем flip :: (a->b->c) ->b->a->c const ::d->e->d Тип (flip const) будет a=d,b=e,c=d В b->a->c Таким образом, тип будет e->d->d Но для (карты взять) его [Int]->[[a]]->[[a]] Поэтому я не понял, как вычисляется ghci на этот раз. я понял [[a...

у меня возникли проблемы при вводе многострочных команд в ghci. Следующий 2-строчный код работает из файла: addTwo :: Int -> Int -> Int addTwo x y = x + y но когда я вхожу в ghci, я получаю ошибки. Я также попытался поместить код внутрь :{ ... :}, но они также не работают для этого примера, потому чт...

когда я программирую на Javascript, я нахожу его очень удобно использовать отладчик, чтобы остановить выполнение программы в любой момент и иметь возможность запускать команды и проверять переменные оттуда. теперь, вернувшись в Haskell, есть ли способ запускать произвольные функции в интерактивном ghci REPL ...