[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

Dan Weston westondan at imageworks.com
Thu Jan 15 17:10:07 EST 2009


Maybe you can explain that again?

I see how the subset of Kleisli arrows (a -> m a) forms a monoid (a, 
return . id, >>=), but what to do with (a -> m b)? (>>=) is not closed 
under this larger set.

Dan

Miguel Mitrofanov wrote:
>> Notice that "monoid" sounds almost *exactly* like "monad". And yet,  
>> what you use them for is wildly unrelated.
> 
> Well, monads are monoids. I remember explaining you that...
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 
> 




More information about the Haskell-Cafe mailing list