[WalterBright]

Contract programming for C++ was implemented back in the 90's.

https://www.digitalmars.com/ctg/contract.html

It also appears in the D programming language:

https://dlang.org/spec/contracts.html

[kazinator]

The programming world has massive anterograde amnesia.

[fermigier]

"Contract programming for C++ was implemented back in the 90's."

-> Did the proposal authors contact you or refer to your work (or any other previous work)? It not, that would be a shame.

"It also appears in the D programming language"

-> Do people use it?

[WalterBright]

> Did the proposal authors contact you

No

> or refer to your work (or any other previous work)?

No

I presume they simply didn't know about it. I emailed the authors.

> Do people use it?

Yes

[AlotOfReading]

I'd assume the authors were aware of it, given that the original set of proposals from 2004-2006 directly compares facilities in D and Eiffel. Plus, you know, andrei.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n19...

[WalterBright]

I had missed this, the paper does mention D:

"Programming languages such as Eiffel and D have a Contracts facility; this paper proposes a Contracts facility for C++."

[JimBright]

Maybe you should execute their trainer!

[zerr]

> Yes

The tiny subset of D userbase, which is tiny in its own.