points by hankbond 4 days ago | 0 comments
Maybe my reading comprehension has just nosedived but I could not find where this article discusses what the heck Contracts refers to?
[–] AlotOfReading 4 days ago
[–] btown 4 days ago
https://www.cppstories.com/2026/cpp26_contracts/ is IMO a better introduction.
cppreference is often a bit too technical for its own good :)
But I think there's a broader issue which is that if it took me multiple searches to find a good-enough visual "pitch" for what contracts look like in practice, its champions have not yet won hearts and minds - which brings us to the situation at hand.
[–] bionhoward 4 days ago
Oh im not a c++ guy but that actually looks pretty awesome because it’s like Hoare logic
[–] SolarNet 4 days ago
Its a very inside baseball article. Contracts is a proposed C++ language feature for improving programmable assertions of program state. E.g. a better c++ version of C's assert function. That in theory will improve both safety and performance by letting people add more complex assertions (e.g. pre/post conditions) to functions.
[0] https://en.cppreference.com/cpp/language/contracts