[Haskell-cafe] Views
Johannes Waldmann
waldmann at imn.htwk-leipzig.de
Sun Sep 14 08:08:37 EDT 2008
> I think the crux of
> the matter was that a monad is too general. Either there is a result or
> there is not. That's precisely the intended use of a Maybe.
Indeed "Monad m =>" is dangerous here
because not every Monad has a reasonable definition of "fail".
But that seems to be a problem in the (current) definition of "Monad",
and its solution was "MonadZero", no?
J.W.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080914/9b2c4100/signature.bin
More information about the Haskell-Cafe
mailing list