Contracts — Draft DesignIan Lance Taylor Robert Griesemer July 31, 2019 SupersededWe will not be pursuing the approach outlined in this design draft. It has been replaced by a new proposal. This document exists for historical context. AbstractWe suggest extending the Go language to add optional type parameters to types and functions. Type parameters may be constrained by contracts: they may be used as ordinary types that
