>>183
同一性の判断基準が異なるというのはもちろんだけど、>>171で話題にされているのが型の互換性だったからね。
型の別名というのが型エイリアス（処理系によって同視される型）のことなら名前的型付けと構造的型付けとで違いはないでしょう。ニュータイプ型の別名ならたしかに違いが出てくるけど、それは構造的型付けの方は余計に一手間掛かるという方向の違いだよね。
いずれにせよ名前的型付けにおいて、型の互換性を指示する方法として継承以外のものがあるという点は変わらないと思うけど。
個人的には名前的型付けの型システムに構造的型付けの機能を追加することについては、比較的好意的に捉えているけどね。Rustみたいな言語だとあまり必要性はないのかもしれないけれど、Pythonとかではかなりありがたい。