Narrowing Pattern

はじめに 前回の『TypeScript の Narrowing』の記事では Narrowing について集合論的なアプローチでどのようなものであるかを解説しました。この記事では、より実用的な Narrowing の基本パターンを解説します。 この記事は基本的には TypeScript 公式 Handbook の『Narrowing』のページを参照して解説しています。集合論的な話はすでに前の記事で行ってしまったので、この記事は公式ドキュメントのまとめ的な自分用のアウトプットとなります。 代入による Narrowing CFA での典型的な Narrowing パターンの解説に入る前に、もっと基本的な Narrowing について見ておきます。 前前回の記事を見て入れば Widening を知っているわけですが、実はその過程ですでに Narrowing についても知っています。というのも、ユニ

[kkeisuke]

“Narrowing(型の絞り込み)”