オブジェクト指向はオワコン？ part4

>>171
名前的型付けと構造的型付けで違いが出るのはサブタイピング多相の文脈だけじゃない？　テンプレートなどのパラメトリック多相とか、Rustのトレイト（アドホック多相の一種？）とかは、特に両者の対比とは関係ないと思う。