free-monad

21зной

1ответ

Monad Stack Penetration Классы с Free/Operational Monad Transformers?

Может ли быть mtl-подобный механизм для монадных трансформаторов, созданных FreeT/ProgramT? Мое понимание истории заключается в следующем. Когда-то был изобретен монадный трансформатор. Затем люди нач

haskell monad-transformers operational free-monad 2013-07-30

---

3зной

1ответ

Arrow from Free and MonadFree

Как создать Arrow от Free и MonadFree? class (Functor f, Monad m) => MonadFree f m where ... data Free f a = Impure (f (Free f a)) | Pure a MonadFree содержит 2 параметра m и f, но Kleisli не имее

haskell monads arrows free-monad 2013-09-21

---

7зной

2ответ

Как я могу использовать Reader, используя свободные монады?

Итак, я понял, как реализовать Reader (и ReaderT, не показан) с помощью operational пакета: {-# LANGUAGE GADTs, ScopedTypeVariables #-} import Control.Monad.Operational data ReaderI r a where

haskell monads free-monad 2013-03-15

---

6зной

1ответ

Control.MonadPlus.Free без ненужного распространения

Я пытаюсь использовать бесплатную монаду для создания EDSL для построения деревьев решений AND/OR, таких как Prolog, с >>=, сопоставленными с AND, и mplus, сопоставленными с OR. Я хочу описать что-то

haskell monads free-monad 2013-10-04

---

7зной

3ответ

Можно ли сделать бесплатную Монаду в Clojure?

Произошла некоторая выдающаяся работа с Монадами в Клоюре на Konrad Hinsen, Jim Duey и Leonardo Borges. Мой вопрос: возможно ли сделать бесплатную Монаду в Clojure? This is an example in Haskell из ст

clojure monads free-monad 2013-11-24

---

7зной

1ответ

Есть ли бесплатный прокси-трансформатор?

Как вы думаете, возможен бесплатный прокси-трансформатор? Что-то вроде data FreePT f p a' a b' b m r = .... instance (Proxy p,Functor f) => Proxy (FreePT f p) where .... instance (Functor f)

haskell monad-transformers free-monad 2013-05-16

---

60зной

6ответ

Монастырь Пауза

Монады могут делать много удивительных, сумасшедших вещей. Они могут создавать переменные, которые содержат суперпозицию значений. Они могут позволить вам получить доступ к данным из будущего, прежде

haskell monads coroutine monad-transformers free-monad 2012-04-19

---