Contract-based programming in C++

For quite a long time Alexander didn't write assert at all, but having written it for the first time, now he can't imagine the code without it. Pretty soon he realized that he wanted to expand the possibilities of such diagnostics, and as a result of this research he got acquainted with contracts. Alexander has been waiting for contracts in C++ for 4 years and decided to dedicate his talk to them.

This talk covers how the idea of contractual programming appeared and how it has evolved, will disassemble what contractual programming is now and how it is applied in practice, gives an overview of what contracts can be in C++23.