[Haskell-cafe] Re: instance Eq (a -> b)
ketil at malde.org
Fri Apr 16 03:16:53 EDT 2010
Ashley Yakeley <ashley at semantic.org> writes:
> There's an impedance mismatch between the IEEE notion of equality
> (under which -0.0 == 0.0), and the Haskell notion of equality (where
> we'd want x == y to imply f x == f y).
Do we also want to modify equality for lazy bytestrings, where equality
is currently independent of chunk segmentation? (I.e.
toChunks s1 == toChunks s2 ==> s1 == s2
but not vice versa.)
My preference would be to keep Eq as it is, a rough approximation of
an intuitive notion of equality.
If I haven't seen further, it is by standing in the footprints of giants
More information about the Haskell-Cafe