Я пытался пробиться сквозь эту статью: http://blogs.msdn

Я заметил, что между монадами Writer m и Either e существует двойственное отношение. Если m...

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

Государственная монада "интерфейс" class MonadState s m where get :: m s put :: s -> m () (+...

Я только что обернул голову вокруг монад (по крайней мере, мне бы хотелось так думать) и, более...

instance Monad (Either a) where return = Left fail = Right Left x >>= f = f x Right x...

Я пытаюсь понять полиморфизм высшего порядка в scala, внедрив очень простой интерфейс, описывающий...

Я пытался написать одну реализацию генератора случайных чисел, основанную на классе чисел. Я также...

Учитывая следующее простое определение BST: data Tree x = Empty | Leaf x | Node x (Tree x) (Tree x)...

Я пишу такую ​​функцию. func :: IO() func = putStr print "func = putStr print" Я знаю,...

Кто-нибудь может дать несколько советов о том, почему нечистые вычисления в Хаскеле моделируются...

Есть ли такая разница от IO String до String Я хочу взять некоторые строковые значения из...

обычная программа wxHaskell выглядит как main = do run gui gui = do .... .... GUI должен иметь тип...

Haskell - это вычисление путем вычисления значений. Списки отображения / FBO / VBO очень очень...

У меня был некоторый опыт работы с Haskell и в настоящее время я изучаю Scala. Интересно, есть ли в...

Давайте возьмем функцию типа (Monad m) => a -> m a. Например: ghci> let f x = Just (x+1) Я...

У меня есть монадическая функция getRate: getRate :: String -> IO Double Я бы хотел сопоставить...

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

Я пытаюсь использовать MonadError вместе с Parsec.Я придумал следующий фрагмент кода: f5 = do char...

монады описаны как решение haskell для работы с IO. Мне было интересно, есть ли другие способы...

У меня есть функция f с подписью f :: [a] -> StateT Int Reader b [c] и f' с подписью...

Я не могу понять суть класса Option[T] в Scala. Я имею в виду, я не могу видеть никаких преимуществ...

Как сказано в заголовке: что означает The last statement in a 'do' construct must be an...

Я пытаюсь понять Государственную Монаду, и с этой целью я хотел написать монадический код, который...

Итак, я смотрел на вопрос здесь и выстроил довольно уродливое решение проблемы. Пытаясь очистить...