[Haskell-cafe] Re: A question about "monad laws"

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Mon Feb 11 14:30:59 EST 2008


Am Montag, 11. Februar 2008 16:35 schrieb Andrew Butterfield:
> This is precisely Jerzy's point - you can have many mathematical laws as
> you like but there is no guarantee that a programming languages
> implementation will satisfy them.

But people writing instances of type classes should take care of satisfying 
the laws since other libraries will most likely expect this.

Best wishes,
Wolfgang


More information about the Haskell-Cafe mailing list