Contracts, Undefined Behavior, and Defensive,Programming

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Sat Jun 13 03:46:38 UTC 2020


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.


More information about the Digitalmars-d mailing list