Я пытаюсь понять Монаду Состояния, и с этой целью я хотел написать монадический код, который генерировал бы последовательность случайных чисел с помощью Линейного Конгруэнтного Генератора (вероятно, не очень хорошо, но я намерен просто изучить Монаду...

Я пытаюсь изучить Haskell и хочу написать небольшую программу, которая выводит содержимое файла на экран. Когда я загружаю его в GHCi, я получаю следующую ошибку: Последний оператор в конструкции do должен быть выражением Я знаю, что этот...

Недавно я столкнулся с ошибкой при использовании threepenny-gui , и она была решена путем изменения кода из сопоставление шаблона в нотации do с <- с сопоставлением шаблона с нотацией let. Есть ли какие-либо причины, по которым я должен...

В приведенном ниже коде Haskell я получаю сообщение об ошибке «ошибка синтаксического анализа при вводе« в »». Из того, что я прочитал, отступ, который я использовал, должен быть в порядке. На самом деле я успешно использую «let» и «in» с...

Итак, у меня есть эта строка кода: [Nothing] >>= \(Just x) -> [x] что, конечно, дает исключение, потому что шаблон ничего не соответствует. С другой стороны, этот код дает другой результат, []: do Just x <- [Nothing]...

Читая Викикнигу по Haskell о MonadPlus , я обнаружил следующее. функция, которая в основном принимает Char и String и возвращает Just (char,tail) , если такой символ равен заголовку строки, или Nothing в противном случае: char :: Char...

Итак, я написал небольшой набор служебных функций для CSV-файлов и на протяжении всего времени тестировал функции, которые связывал файл вручную с помощью table' <- parseCSVFromFile filepath но (от Text.CSV ) parseCSVFromFile ::...

Я пытаюсь реализовать функцию, которая преобразует строку в список Maybe Ints, например. readInts "1 2 42 foo" = [Just 1,Just 2,Just 42,Nothing] . Мой первый подход был: readInts (s::String) = do { ws <- words s; return (map...

Я пытаюсь понять, как на самом деле используются IORefs , и у меня возникают проблемы с использованием примера кода, который я нашел на https://www.seas.upenn.edu/~cis194/spring15/lectures/12.-unsafe.html newCounter :: IO (IO Int) newCounter =...

Я давал ответ на этот вопрос , и мне пришла идея использовать монаду Cont . Я недостаточно знаю Haskell, чтобы объяснить, почему эта программа не работает. import Control.Monad.Cont fib1 n = runCont (slow n) id where slow 0 = return 0...

Итак, я пишу свой собственный синтаксический анализатор, который почти готов, однако я продолжаю застревать с возвратом моей функции. Мой возврат - case , но в case мне нужно выполнить синтаксический анализ, который я не могу заставить работать....

В этом руководстве http://learnyouahaskell.com/starting-out автор пишет этот фрагмент кода. boomBangs xs = [ if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x] А затем позже выполняет это так boomBangs[7..13] И мой вопрос,...

Я не знаю, как я могу внести условное изменение в State Monad в Haskell. Допустим, у меня есть стек на State Monad. import Control.Monad.State push :: Int -> State [Int] () push x = state $ \xs -> ((), x : xs) pop :: State [Int] Int pop =...