io-monad

3зной

3ответ

Порядок исполнения с Haskell в `mapM`

Рассмотрим следующий Haskell заявление: mapM print ["1", "2", "3"] Действительно, это печатает "1", "2" и "3", в порядке. Вопрос: Как вы знаете, что mapM будет первый печать "1", а затем печать "2",

3зной

1ответ

Как читать три последовательных целых числа от stdin в Haskell?

Я хочу прочитать ввод как 12 34 56 в три целых числа, используя Haskell. Для одного целого можно использовать myInteger <- readLn. Но в этом случае, я не нашел ни одного решения, за исключением одного

0зной

1ответ

действие IO вложенных в другие монады не выполняет

У меня есть foobar :: IO (ParseResult [(String,String)]) ParseResult монада определяется здесь: https://hackage.haskell.org/package/haskell-src-exts-1.13.5/docs/Language-Haskell-Exts-Parser.html#t:P

0зной

2ответ

Haskell: монада стек связывают с IO и []

у меня есть: stuff :: IO [String] doThings :: String -> IO [()] и я хочу stuff >>= doThings но мои типы выключены. Я хочу сделать поднятую привязку по существу, но все, что я пробую, это неправил

4зной

1ответ

Трансформация (а -> IO б) в IO (а -> б)

У меня есть несколько типов данных в контексте IO, как: a :: IO String b :: IO FilePath c :: String -> IO String Я хочу, чтобы поместить их всех вместе в одном объекте данных, например, : data Con

0зной

1ответ

Тестирование класса с помощью MonadIO: ошибка «Нет экземпляра или метода по умолчанию»

У меня есть класс, который выполняет некоторые операции ввода-вывода. Я обобщил его немного с помощью MonadIO: class MonadIO m => MonadDB m where getSomething :: String -> m Something getSom

0зной

1ответ

Объединение и назначение расщепления в блоке Haskell IO do

I/think/У меня есть аналогичное непонимание языка в двух местах, связанных с тем, как переменное присваивание работает в блоках do, включая монаду IO. Не могли бы вы помочь мне понять (1) это одно и т

0зной

1ответ

Haskell & Scrypt: Как получить зашифрованный хеш

* Извините за основной вопрос, только что начал изучать Haskell. Я пытаюсь написать функцию, которая получит строку и вернет зашифрованный хеш. То, что я придумал на данный момент является: encrypt ::