>>192
>>191で「名前的型付けと構造的型付けとで違いはない」と書いたのは、>>183の対称律の話ね。たしかにそこはちょっと言葉足らずだったかも。
192の内容は別に間違っていないけど、それは型システムの枠組みにおいては、結局サブタイピングの話でしょ。一般的な型システムにおいて、すべての型は自分自身の部分型（サブタイプ）なわけだから。プログラミング言語の構文としては通常区別されているから、別の話だとするのが間違いというつもりはないけどね。