News for hackers. Stuff that matters.
Re:Go Contracts – Draft Design by nemith on Monday July 29, 2019 @11:44AM (#20555774)
Contract is just the feature is defines the abilities of the genericized types.

A contract in Go enables generic programming or as other state it "generics".

In C++20 there is concepts which is very similar. https://en.wikipedia.org/wiki/Concepts_(C%2B%2B) in constraining the generic type before template expansion.

Re:Go Contracts – Draft Design by pjmlp on Tuesday July 30, 2019 @03:34AM (#20562813)
Contracts in programming language have a very precise meaning.

https://en.wikipedia.org/wiki/Design_by_contract