On 7/10/12 9:45 PM, Timon Gehr wrote:
I do not desire logical const as a language feature. But conservative type systems are not good for everything. The root of the class hierarchy needs to be good for everything. Object is not an adequate root any more.
How about we consider just stiffening that upper lip and implement comparison and hashing without modifying their target?
Andrei
