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