On Mon, 8 Sept 2025 at 17:53, Richard Biener <[email protected]> wrote:
> Usually sth like contracts aids in formal program verification. But … too > many C++ papers to read. Still C++ sometimes feels like going the „coming > from X, now also available in C++“, aka chasing for feature completeness as > its own merit. These 'contracts' do not have formal verification in mind as their foremost use case. See https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2680r1.pdf (quite many of you should recognize the author) https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3362r0.html, and, as a response, this colossal failure to talk about those papers much at all, https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3386r0.pdf
