11 Feb
2008
11 Feb
'08
2:30 p.m.
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