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
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
