Comment by pjmlp
4 days ago
C++ contracts design is based on an internal Bloomberg framework, see John Lakos recent talks on contracts.
4 days ago
C++ contracts design is based on an internal Bloomberg framework, see John Lakos recent talks on contracts.
Hmm, I thought I had watched all his talks on contracts by now, but I must have missed a few (which isn't a surprise - there are a lot of conferences out there that I can't watch them all and get anything done. I end up ignoring a lot of them)
This was the latest where I saw him mentioning it.
"Our Journey Toward a Fully Backward-Compatible, UB-Safe, ISO C++"
https://youtu.be/whFzmXXhG5g?is=jSOnYkqr5nNULGkY
I hadn't seen that talk, but the content is just an updated rehash of this is what contracts can do.
What I want I'd : we have used contracts in the tall world. This is what works and doesn't. This catches a lot of bugs for little work. This looks the same but results in false positives. This is a lot of work for few bugs.
Of course since I don't know what works I'm guessing, but that type of thing.
1 reply →