>>90
コンセプトはそもそも制約条件の記述であって、型じゃないでしょ。

>>91
オレオレ定義で押し通そうとするのは何なん。検索するなり、AIに聞くなりして「名前的型付け」「構造的型付け」の意味を確認するところから始めた方が良いと思うが。
たとえば、関数の引数がインターフェイスA型のオブジェクトを受け取るシグネチャになっているとき、名前的型付けであれば、Aと同じ構造を持つが名前が異なるインターフェイスB型のオブジェクトは引数として渡せないことになるが、TypeScriptはそういう仕様になっている？　それともオレオレ定義の名前的型付けでは、そういう名前の異なる型同士の間でも同一性・互換性を認めるってするの？