io-monad

0зной

2ответ

Parsec и liftIO, ошибка компиляции

Я разбираюсь на языке, и я хочу иметь синтаксис для $include других файлов при разборе. Мой код: import Text.ParserCombinators.Parsec import Text.Parsec.Prim (parserZero) import Text.ParserCombinato

haskell parsec io-monad 2016-03-24

---

2зной

1ответ

Как построить выражение без ввода-вывода в Haskell?

Вот отрывок из области конкретной функции файла-IO я пишу: let cp :: FilePath -> IO() cp "." = putStr "" -- OUCH! cp ".." = putStr "" -- CRIKEY! cp fname = custom logic here... in

haskell monads io-monad 2016-05-25

---

4зной

1ответ

Откат IO action

У меня есть очень простая абстракция для обработки последовательности операций ввода-вывода, которую можно откат (в некоторой степени), то есть если действие записывает файл, тогда откат будет удалять

haskell io-monad 2016-05-29

---

11зной

2ответ

IO monad предотвращает короткое замыкание встроенной картыM?

Немного озадачен следующим кодом. В не-игрушечной версии проблемы я пытаюсь сделать монадическое вычисление в monad Result, значения которого могут быть построены только из IO. Похоже, что магия за IO

haskell lazy-evaluation traversal io-monad strictness 2016-05-31

---

1зной

2ответ

В каком смысле IO monad special (если вообще)?

После погружения в монады я понимаю, что они представляют собой общую концепцию, позволяющую проводить вычисления цепочки внутри некоторого контекста (неудача, недетерминированность, состояние и т. Д.

haskell functional-programming monads io-monad 2016-04-13

---

1зной

2ответ

Что означает «монадическая структура» и «элемент структуры» именно в контексте произвольной монады?

Читая документацию Control.Monad я нашел такое описание mapM: сопоставьте каждый элемент структуры монадических действий, оценить эти действия слева направо, и собирать результаты Мне интересно, что о

haskell monads algebra category-theory io-monad 2016-02-25

---

0зной

1ответ

Составлены функции, содержащиеся в монаде IO, гарантированно не имеют нежелательных эффектов?

Я понимаю, что IO используется для отделения чистого кода от нечистого. Кроме того, я знаю, что IO допускает ссылочную прозрачность. Одна вещь об IO все еще немного неясна для меня. А именно, гарантия

javascript side-effects io-monad 2016-06-15

---

2зной

2ответ

Является ли чистота Haskell в силе системой типов или внедрением IO?

Всегда говорят, что система типа Haskell предотвращает загрязнение чистого кода от загрязняющего кода, так как вы всегда должны указывать IO в сигнатуре типа. Однако является ли это следствием самой с

haskell module type-systems purely-functional io-monad 2016-03-15

---