On Mon, Jan 17, 2011 at 9:46 PM, C K Kashyap ckkash...@gmail.com wrote:
I am not able to fully understand how those diagrams translate to haskell -
I can guess that T^2 - T referes to things like concat operation but not
able to relate it to bind.
I found it useful to work out the
On 1/17/11 10:46 PM, C K Kashyap wrote:
Hi,
I was going through http://en.wikipedia.org/wiki/Monad_(category_theory) -
under Formal Definition I notice that monad is a Functor T:C - C
My question is - when we think of Maybe as a functor T:C - C should we
think that C here refers to
On Tue, Jan 18, 2011 at 09:16:06AM +0530, C K Kashyap wrote:
Hi,
I was going through http://en.wikipedia.org/wiki/Monad_(category_theory) -
under Formal Definition I notice that monad is a Functor T:C - C
My question is - when we think of Maybe as a functor T:C - C should we
think that
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
Hi,
I was going through http://en.wikipedia.org/wiki/Monad_(category_theory) -
under Formal Definition I notice that monad is a Functor T:C - C
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