On Fri, 11 Jan 2008 09:11:52 +0200, Lennart Augustsson
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