Communicating between in and out contracts

[bearophile]

Walter Bright:

> Rainer Deyke:
> > You don't need to clone the whole object.  You just need to cache the
> > properties that are used with 'old'.
> 
> That's a good idea.

Once in a time I want to improve Walter's mood. This is a list of the top 25 requests for improvements to the Java language (some of them are about 10 years old, so people like me that complain that Walter isn't implementing their ideas have to compare the situation with the Sun engineers that sometimes look like molass):

http://bugs.sun.com/bugdatabase/top25_rfes.do

The top request, with 592 votes, submitted originally 23-APR-2001, asks for "Support For 'Design by Contract', beyond "a simple assertion facility"". I don't know if D programmers like to use such contracts often, but it seems several Java programmers wants them (even if in Java there are already ways to write unit tests that are far better&more flexible than D ones!).

Bye,
bearophile