Need help?
<- Back

Comments (37)

  • steveklabnik
    One thing that I'm curious about regarding all of this: I thought all of this stuff landed in C++26, yet we are still getting papers like https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p43...> The C++26 draft has not yet had its final ballotThis is co-authored by Bjarne, and so I'm sure it's not trivially false, but maybe I am just missing some detail. I know Bjarne was threatening to cast a veto of C++26 over this, but I thought he did not?Anyone who follows the process a bit more than me have some context here?
  • Cieric
    There is a small hint of it at the end, but I really hope compile time contract assertions become more common. I know some languages like spark, dafny and a few others do it and generate implicit contracts for things like divide by 0. I've been experimenting with my own custom language that do these things and going back to c++ every day at work is actually a slight let down because of it.
  • pama
    30 years late, but I will take it. Contracts look useful and less messy than exceptions.
  • anon
    undefined