1 Apr
2006
1 Apr
'06
1:33 p.m.
On Sat, Apr 01, 2006 at 11:22:15AM +0100, Christopher Brown wrote:
In haskell the following is true:
f x + g x == g x + f x
Be careful, you will get a counter-example from someone. In this example you assume that + is commutative for all types. I don't think that the Haskell 98 report mandates this. One safer example would be: let y = f x in (y, y) == (f x, f x) Best regards Tomasz