Contracts, Undefined Behavior, and Defensive,Programming

[Walter Bright]

On 6/12/2020 8:46 PM, Andrei Alexandrescu wrote:
> A short and sweet paper:
> 
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1743r0.pdf
> 
> It echoes Walter's opinions on contracts vs. runtime checking, to a tee. He has 
> been derided on occasion in this group for such views. The paper is a good 
> rationale from an independent source.

The authors present the case better than I did :-)