[Haskell-cafe] Re: instance Eq (a -> b)

Ketil Malde 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 mailing list