> * equivalence, equality, definition, EXNOR, assignment and perhaps one 
> or more that don't have names.

I'm failing to see how equivalence and definition are different. (I know 
some people use the triple-line symbol for this though.)

The main confusion is between assignment and equality, generally. Or, in 
mathematics, between a test for equality and a statement of equality.

> ** See also the concept of '=' in OO languages. Are two objects the same 
> if all fields are the same?

You would first have to define the concept of fields being "the same". ;-)

Fortunately, in a pure functional language, the question becomes a lot 
simpler.

Post a reply to this message