On 05-Nov-1998, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
>
> Simon wrote:
> > - The do-expression and MonadZero debate. You'll have seen a
> > lot about this, and I'll circulate a separate proposal.
> Sorry, I'm not happy with this proposal. Monads are a well
> defined mathematical concept and I think the Monad class should
> reflect this. Having a mzero (and mfail) method seems weird to
> me.
By analogy:
Integers are a well defined mathematical concept and the
Integer class should reflect this. Having a bottom value seems
wierd to me.
If Integers can have "error", why shouldn't Monads have "mfail"?
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
