3 ms·
The terminology comes from a proposal for C++ which has been under discussion for a long time.
by sseth 7y ago
The terminology comes from a proposal for C++ which has been under discussion for a long time.
- detaro 7y agoC++ contracts are what Animats describes. Constraints and concepts are more like what's described in the article: https://en.cppreference.com/w/cpp/language/constraints https://en.cppreference.com/w/cpp/language/constraints
- Animats 7y ago"Contract" terminology is from Eiffel, from 1986.[1] [1] https://en.wikipedia.org/wiki/Design_by_contract https://en.wikipedia.org/wiki/Design_by_contract