[Haskell-cafe] Re: A question about "monad laws"
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.
More information about the Haskell-Cafe