[Haskell-cafe] Re: [Haskell] Announce: generating free theorems, online and offline

Stefan O'Rear stefanor at cox.net
Thu Oct 18 20:40:24 EDT 2007


On Thu, Oct 18, 2007 at 08:39:04PM -0400, David Menendez wrote:
> On 10/18/07, Stefan O'Rear <stefanor at cox.net> wrote:
> > On Thu, Oct 18, 2007 at 03:36:01AM -0400, ajb at spamcop.net wrote:
> > > (As an aside: The H98 report still list the right-zero law as being
> > > a law for MonadPlus, even though most MonadPlus instances don't obey
> > > it.  That's actually a defect in the report.)
> >
> > All the MonadPlus I can think of (IO,Maybe,[]) satisfy it.  Were you
> > thinking of right distribution?
> 
> "print 1 >> mzero" returns the same result as "mzero" (i.e., it throws
> an exception), but it has different effects.

Oh, hehe.  I thought you meant print 1 `mappend` mzero being equal to
print 1.

Oops.

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20071018/8f56ba37/attachment.bin


More information about the Haskell-Cafe mailing list