News for hackers. Stuff that matters.

A comment on The Updated Draft Design for Go 2 Contracts. Parent comment

Re:The Updated Draft Design for Go 2 Contracts by sseth on Saturday July 27, 2019 @04:54PM (#20544130)
The terminology comes from a proposal for C++ which has been under discussion for a long time.
[ Parent | on HN ]
Re:The Updated Draft Design for Go 2 Contracts by detaro on Saturday July 27, 2019 @05:25PM (#20544276)
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
[ Parent | on HN ]
Re:The Updated Draft Design for Go 2 Contracts by Animats on Sunday July 28, 2019 @04:08AM (#20546403)
"Contract" terminology is from Eiffel, from 1986.[1]

[1] https://en.wikipedia.org/wiki/Design_by_contract

[ Parent | on HN ]