In page 91 of the book Elements of Programming, Stepanov and McJones say that the concept of Iterator requires a successor function but that is not necessarily regular because ...i = j does not ...

UPDATE: There is a proposal to change the meaning of auto in certain situations. Implicit Evaluation of “auto” Variables and Arguments by Joel Falcou and others. The implicit evaluation shal...

C++ has a nice idiom that allows one to write classes that automatically fulfill certain relations between operators. For example this allows to define operator== and not bother to defined operator...

With a Regular Type, I mean the definition of Stepanov in Elements of Programming, basically, that there's the concept of equality and that objects which are copies of each other compare equal. So...