[Haskell-cafe] Haskell & monads for newbies
Hugh Perkins
hughperkins at gmail.com
Sat Jul 14 15:34:20 EDT 2007
Well, can you provide an example of an implementation of bind that satisfies
an intuitive definition of bind but does not satisfy the monad laws?
On 7/14/07, Derek Elkins <derek.a.elkins at gmail.com> wrote:
> -Documentation- damn well better have the monad laws. Something is not
> a monad if it does not satisfy the monad laws. Furthermore, the monad
> laws are almost the only thing that -does- define monads.
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070714/651bcd7f/attachment.htm
More information about the Haskell-Cafe
mailing list