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

Maciej Piechotka uzytkownik2 at gmail.com
Wed Apr 14 04:25:03 EDT 2010

On Wed, 2010-04-14 at 01:21 -0700, Ashley Yakeley wrote:
> Maciej Piechotka wrote:
> > I guess that the fact that:
> > - It is costly.
> No, it's not. Evaluating equality for "Bool -> Int" does not take 
> significantly longer than for its isomorph "(Int,Int)". The latter has 
> an Eq instance, so why doesn't the former?

Hmm. Lazy semantics? Costs?

Except technical problems with checking it - is every stable sort

Also see second argument.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20100414/c4a85fc4/attachment.bin

More information about the Haskell-Cafe mailing list