Hacker News Reader

The terminology comes from a proposal for C++ which has been under discussion for a long time.

C++ 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

"Contract" terminology is from Eiffel, from 1986.[1]