TypeScriptのunion型はorです 〜union型、構造的部分型、余剰プロパティチェックの話〜 - Qiita

TypeScriptのunion型はorです 〜union型、構造的部分型、余剰プロパティチェックの話〜TypeScript 先日、「TypeScriptのunion型はorではない」とする以下の記事が公開されました。 TypeScript の共用体型（Union Types）は or ではない 残念ながら筆者はこの主張に同意できないので、この記事では上記の記事に含まれる問題点を指摘しつつ、正しい結論を導きます。 この記事の目的はあくまで正しい情報を皆さまに届けることであり、上記の記事（以下では「元記事」と呼びます）の筆者を攻撃する意図は無いことをご理解ください。 では、元記事からコードを引用しながら何がまずいのかを見ていきましょう。 元記事の主張 元記事の最初のコードを引用します。

[theatrical]

"存在しないのです。:w"ここがvimで保存しようとしたのか、顔文字なのか、どっちなんだろう

[baronhorse]

そうなのか。でも実際そうなのかもしれないけど屁理屈に見えるな。

[nunulk]

"今回問題になっていた余剰プロパティチェックは（略）、union型の意味という型システム的な概念とは切り分けで考えるべきものです。"