points by AlotOfReading 4 days ago | 0 comments
You'll find plenty of info if you search for anything like "c++ contracts" [0], but the short of it is that they're just pre/post conditions on functions. Slightly improved assertions, basically.
[–] btown 4 days ago
[–] bionhoward 4 days ago
Oh im not a c++ guy but that actually looks pretty awesome because it’s like Hoare logic
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.