I'm expecting to see talks (and buy books, read blogs...) in 3 years by someone who spent a lot of work adding contracts to a small but significant code base. This is the type of question they will answer.

I think the right answer is in the header, and in turn that means someone needs to answer your objection - how do you avoid long compiler times? I suspect modules is a large part of the answer, which means the guide/talk will also be how to make modules work in the real world. Remember though, that is all guesses I wouldn't be surprised if I'm wrong.

▲

pjmlp 6 hours ago | parent [-]

C++ contracts design is based on an internal Bloomberg framework, see John Lakos recent talks on contracts.

▲

bluGill 5 hours ago | parent [-]

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)

	▲	pjmlp 4 hours ago \| parent [-]
		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