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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
