現在、TC39において、ECMAScriptにパターンマッチングを導入することが検討されています。未だにStage 1のため、実用には程遠い状態ですが、JSネイティブでオブジェクトの構造を表現できるという意味で、間違い無くTypeScriptにも波及する仕様です。そこで今回はパターンマッチング案を紹介し、それがTSをどう変えるか、型表現の観点から追ってみます。