>>87
名前的型付けと構造的型付けという用語は、一般的には型の識別を型の名前によって行うか、型の構造によって行うかを指す用語として使われており、型に名前を付けているか否かを指す語ではないはずだけど。
というか、用語・概念の最初の定義の時点で一般的な理解から外れているのってどうなの……。

>>88
場面に応じて、名前的型付けと構造的型付けとが併用されることがあることは別に否定しないけれど、TypeScriptにおける関数等の引数の型は、基本的には構造的型付けで判定されるはずだよ(細かい仕様としてはいろいろあるみたいだけど)。少なくとも、関数等の引数の型を指定した場合に、そのことによって名前的型付けになるということはない。