On Tue, Feb 16, 2010 at 6:50 PM, Seebs <usenet-nospam / seebs.net> wrote:

> In practice it is, because when people say "x++", they don't want the variable
> x to refer to a new object, they want the object x refers to increased.

Don't agree with that. For me the contract is just about the variable.
People do not want to be able to do ++5, you can't do that in
languages that offer ++ either.