14 Apr
2010
14 Apr
'10
4:25 a.m.
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