monadfix

16зной

1ответ

Ошибка в реализации Data.Map?

Я наткнулся на что-то, что я угадывание - ошибка в Data.Map, но которая также вполне может быть ошибкой в ​​моем знании Хаскелла. Надеясь, что кто-нибудь сможет уточнить, что это такое: Просьба указат

haskell containers monadfix tying-the-knot 2012-06-24

---

19зной

2ответ

Использование Прод для получения значений из будущего и прошлого

я пишу интерпретатор Brainfuck в Haskell, и я пришел с тем, что я считаю очень интересное описание программы: data Program m = Instruction (m()) (Program m) | Control (m (Program m)) |

haskell monads continuations tying-the-knot monadfix 2012-05-12

---

14зной

1ответ

Почему не может быть экземпляр MonadFix для продолжения монады?

Как мы можем доказать, что the continuation monad не имеет действительного экземпляра MonadFix?

haskell monads continuation monadfix 2014-09-13

---

1зной

1ответ

Дублирующий код EDSL, сгенерированный с помощью RecursiveDo в Haskell

Использование ghc v8.0.1, скомпилированный с флагом -O2. У меня проблема с RecursiveDo (mdo). Есть две несколько разные функции, которые должны давать один и тот же вывод, но они этого не делают. След

haskell monadfix 2016-08-11

---

2зной

3ответ

Взаимнорекурсивный оценщик в Haskell

Обновление: Я добавил an answer, который описывает мое окончательное решение (подсказка: единственный тип данных Expr был недостаточным). Я writing оценщик для небольшого языка выражений, но я застрял

haskell mutual-recursion evaluator tying-the-knot monadfix 2010-08-19

---