Contracts, Undefined Behavior, and Defensive,Programming

[Timon Gehr]

On 13.06.20 05:46, 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.

I don't think so. For example, the paper makes a distinction between 
library and language UB.

> He has been derided on occasion in this group for such views. The paper 
> is a good rationale from an independent source.

I am not sure if that includes me, because there are points in this 
paper whose negation Walter has occasionally used as a straw man to 
dismiss other points I made.