公称型をTypeScriptで実現するための基礎 - Qiita

先日、異なる2つの型システム「公称型」と「構造的部分型」という投稿をして、TypeScriptの型システムは、JavaやPHPと全然違うという話をしました。 TypeScriptは「構造的部分型」と言って、オブジェクトの構造が同じなら互換したものとしてみなされるので、意味的に全く関係ないオブジェクト同士を入れ替えて扱うこともできるわけです。 例えば、たまたま同じnameプロパティを持っているBook型とPerson型があったとき、

[ginpei]

同じ形の型に別の名前を付け区別したいとき、あえて不必要なプロパティ`{[mySymbol]: never}`を追加して互換性をなくす。リテラルで書けなくなるが識別用のもの以外のFooLike型からFoo型生成関数を用意すると便利（次記事）。