7.11 型アサーションと型switch 7.12 型アサーションと型switchの利用は控えめに 7.13 関数型とインタフェース 7.14 暗黙のインタフェースによる依存性注入 7.15 Goはさほどオブジェクト指向ではない（そしてそれは素晴らしいこと） 7.16 練習問題