On Fri, 11 Jan 2008 09:11:52 +0200, Lennart Augustsson
<[EMAIL PROTECTED]> wrote:
Some people seem to think that == is an equality predicate.
This is a big source of confusion for them; until they realize that == is
just another function returning Bool they will make claims like
[1..]==[1..]
having an unnatural result.
The == function is only vaguely related to the equality predicate in
that it
is meant to be a computable approximation of semantic equality (but since
it's overloaded it can be anything, of course).
I think that confusion came from the fact that the type of == is called
(Eq a)=> a -> a -> Bool and not (Bla a) => a -> a -> Binary and not
realizing it's just an overloaded polimorphic function.
________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
part000.txt - is OK
http://www.eset.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe