An article about contract programming

[bearophile]

Daniel Murphy:

> Issue 519 is about classes, while 9454 is about structs.  9454 
> uses a struct
> literal, not an autogenerated constructor call, so they are 
> different bugs.
> 519 is an actual bug, while 9454 is an enhancement.

Right, 9454 is tagged as enhancement since the beginning. But 
learning from other languages, like Ada, is good.

Bye,
bearophile