[Haskell-cafe] Equality of functions
k.schupke at imperial.ac.uk
Wed Dec 1 06:40:08 EST 2004
oleg at pobox.com wrote:
>That is too pessimistic, I'm afraid. There is also an intensional
>equality. Granted, it can be sound but never, in general, complete
>(although it can be total). That is, if the comparison function
>returns True, then the arguments truly denote the same, identically the
>same function. If the answer is False, well, we don't know. The
>arguments may still denote the same function.
That means it is a four valued modal logic... it should really
return AllTrue or SomeFalse... (I think, assuming that the false
meant at least one false answer).
More information about the Haskell-Cafe