[Haskell-cafe] Re: Why purely in haskell?

Cristian Baboi cristi at ot.onrc.ro
Fri Jan 11 04:32:47 EST 2008


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


More information about the Haskell-Cafe mailing list