У меня есть код, который в настоящее время использует монаду ST для оценки.Мне нравится не помещать...

Я построил двоичное дерево с: data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Eq, Ord,...

Я хотел бы определить экземпляр монады с контейнером M как монадой и с содержащимся типом a,...

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

Ниже приведена моя попытка создать очень простой интерпретатор, переведенный с версии Java...

Как на самом деле реализована монада ввода / вывода? В смысле, какова будет реальная реализация...

Проблема заключается в следующем. У меня есть: f :: MonadIO m => ReaderT FooBar m Answer; f =...

Простой вопрос: учитывая определения (из Haskell SOE) do x — el; el\ ...; en => el »= \x — do...

Непонятное название для запутанного вопроса! Я понимаю: а) монады, б) монаду ввода-вывода, в)...

В «Учим тебя Хаскеллу за великое благо!» Автор утверждает, что экземпляр Applicative IO реализован...

Тип (перезаписывающих) функций перезаписи в Hoopl определяется функцией mkFRewrite: mkFRewrite ::...

Я использую библиотеку Hoopl и хотел бы перенести некоторое состояние во время перезаписи. Функции...

Я читаю книгу Конора Макбрайда и Росса Патерсона "Функциональная жемчужина / идиомы: прикладное...

У меня есть тип с состоянием с операторами >> и >>=, что является почти монадой....

Компилятор или более "нативные" части библиотек (IO или функции, которые имеют доступ к черной...

compute fp = do text <- readFile fp let (a,b) = sth text let x = data b --g <- x putStr $...

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

Я пытаюсь использовать HSlogger, чтобы получить некоторую информацию о моей программе. Поэтому я...

Мне нужен глобальный счетчик, начиная с 0, 1, 2, 3, ..... Я вроде понимаю, что этот "нечистый" код...

Я хочу сохранить значение, возвращенное из hashUnique, в список, но я не могу этого сделать: import...

Я пытаюсь использовать Data.Unique в Haskell.newUnique может генерировать объект, но я хочу...

У меня есть два значения, t1 и t2, типа Either String Type.Значение Left используется для обработки...

input <- readLn if (input == 0) then putStr "0" else if (input ==1) then putStr...

Я должен преобразовать этот код C ++ class A { public: int x_A; void setX_A (int newx) { x_A =...

Страница Свободная структура в вики Haskell определяет функцию для преобразования экземпляра...