Invariants for methods

[Andrei Alexandrescu]

On 11/18/10 1:07 PM, bearophile wrote:
> Andrei:
>
>> I don't think they have contracts in interfaces, which is where most difficulty lies.<
>
> There is some discussion about this topic at page 11 here:
> http://research.microsoft.com/en-us/projects/contracts/userdoc.pdf

That approach is essentially a workaround for a problem that I consider 
crucial (interfaces must be able to specify contracts) that D solves 
properly.

Andrei