[Haskell-cafe] Re: instance Eq (a -> b)
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
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