[Haskell-cafe] Re: Wikipedia on first-class object

apfelmus apfelmus at quantentunnel.de
Thu Dec 27 11:32:16 EST 2007

Wolfgang Jeltsch wrote:
> If x doesn’t equal y, x == y is False, but if x 
> equals y, x == y might be True or undefined.

x == y  may be _|_ for the False case, too, depending on its 
implementation (like first comparing all list elements on even indices 
and then comparing all list elements on odd indices). But the standard 
== for lists has indeed the stated property.


More information about the Haskell-Cafe mailing list