Contracts Programming After C++17

Explore the concept of contracts programming in C++ in this ACCU 2017 conference talk. Delve into the fundamental principles of contracts programming, which revolves around defining preconditions and postconditions for operations. Examine how this concept has been implemented in various programming languages such as Eiffel, Ada2012, and C#. Gain insights into the potential incorporation of contracts programming into C++ and learn about the latest updates on the C++ contracts proposal under discussion at the ISO C++ standards committee. Discover how the talk's content is influenced by discussions from the March ISO C++ meeting, where the proposed wording of the feature was presented. For a deeper understanding, refer to the ISO C++ paper "A Contract Design" as supplementary material.