[Haskell-cafe] A question about monad based on http://en.wikipedia.org/wiki/Monad_(category_theory)
C K Kashyap
ckkashyap at gmail.com
Wed Jan 19 05:15:37 CET 2011
Thank you very much Brent,
> > My question is - when we think of Maybe as a functor T:C -> C .... should
> we
> > think that C here refers to Hakell types? As in,
> > (Int and Maybe Int are objects in C) and (Int -> Int and Maybe Int ->
> Maybe
> > Int are arrows in C) and T is an arrow between them. Is that right?
>
> Yes, exactly.
>
I really needed this confirmation - thanks.
>
> There are is also a form of the monad laws in terms of fmap, return,
> join. For more I recommend checking out
>
> http://en.wikibooks.org/wiki/Haskell/Category_theory
>
> If I am not mistaken, this pages has been updated recently. Thanks.
Regards,
Kashyap
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110119/3210c700/attachment.htm>
More information about the Haskell-Cafe
mailing list