4 ms·
"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
by fermigier 2y ago
"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 2y ago> 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
- zerr 2y ago> Yes The tiny subset of D userbase, which is tiny in its own.
- AlotOfReading 2y agoI'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/n1962.html https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n19...
- WalterBright 2y agoI 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 2y agoMaybe you should execute their trainer!