free-monad

16Ciepło

1Odpowiedz

Czy istnieje generalizacja tych konstrukcji wolnostojących?

Grałem około z wolnego jak idee, i znalazłem to: {-# LANGUAGE RankNTypes #-} data Monoid m = Monoid { mempty :: m, mappend :: m -> m -> m } data Generator a m = Generator { monoid :: Monoid m, sing

haskell category-theory free-monad 2013-02-13

---