On Mar 2, 2010, at 5:59 AM, Dan Doel wrote:
http://haskell.org/haskellwiki/Free_monad
http://haskell.org/haskellwiki/Free_structure
Nice, thank you for writing this.
Feel free to make suggestions/changes.
I enjoyed reading it although Section 3 is challenging for people
(like me)
On Sat, 27 Feb 2010, Dan Doel wrote:
Free structures originate (I think) in algebra. There you'll find talk of free
groups, free rings, free monoids, etc.
How about turning this post into a HaskellWiki article in
Category:Glossary ?
___
On Monday 01 March 2010 12:50:21 pm Henning Thielemann wrote:
On Sat, 27 Feb 2010, Dan Doel wrote:
Free structures originate (I think) in algebra. There you'll find talk of
free groups, free rings, free monoids, etc.
How about turning this post into a HaskellWiki article in
Hello,
I see the term free monad quite a lot, but don't really see an
explanation what a free monad is. What sets a monad free and why in this
day and age are there unfree monads?
Günther
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Given any functor you can get a monad for free!
data Free f a = Either a (f (Free f a))
Not sure about unfree, but there are cofree comonads that are pretty closely
related, and give you a comonad given a functor:
data Cofree f a = (a, f (Cofree f a))
I'm sure the more categorically minded can
Hello Daniel,
that looks lovely, but it doesn't help me much :)
Günther
Am 27.02.10 10:06, schrieb Daniel Peebles:
Given any functor you can get a monad for free!
data Free f a = Either a (f (Free f a))
Not sure about unfree, but there are cofree comonads that are pretty
closely related,
On Saturday 27 February 2010 3:54:25 am Günther Schmidt wrote:
I see the term free monad quite a lot, but don't really see an
explanation what a free monad is. What sets a monad free and why in this
day and age are there unfree monads?
Free structures originate (I think) in algebra. There