Re: [Haskell-cafe] Equality of functions

oleg@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). Keean.