参考資料(公式) ● Type Parameters Proposal ○ 型パラメータのまとまったドキュメントです。 ○ 型セットの部分がtype listになっているところだけは古い内容なので注意してください。 ○ 型推論アルゴリズムや豊富な具体例など現在ここにしか書かれていない内容は多いです。 ● spec: generics: use type sets to remove type keyword in constraints · Issue #45346 · golang/go ○ type listの代わりに型セットを使うプロポーザル。ステータスは Acceptedです。 ● The Go Programming Language Specification ○ 現在のGo言語仕様書です。 ● Go言語仕様書のレビュー中のCL ○ Go言語仕様書に型パラメータの仕様を反映するためのパッチです。
クイズ(Go1.16でお考えください) 「型TがインタフェースIを実装する」とはどういう意味でしょうか? https://golang.org/ref/spec#Interface_types より引用: A variable of interface type can store a value of any type with a method set that is any superset of the interface. Such a type is said to implement the interface. 【解答例】 「型TがインタフェースIFを実装する」とは、 「TのメソッドセットがIFのメソッドセットを包含すること」