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

[Maciej Piechotka]

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
equivalent?

Also see second argument.

Regards
-------------- 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