Narrowing

TypeScriptの型ガード（typeof・instanceof・in演算子）、ユーザー定義型ガード（is）、型アサーション（as）、never型を使った網羅性チェックまで徹底解説。実行時の条件分岐と型システムを連携させ、安全なコードを書けるようになります。

TypeScriptのユニオン型（|）の基本、リテラル型（文字列・数値リテラル）、型の絞り込み（Narrowing）、Discriminated Unions（判別可能なユニオン型）を解説します。複数の型を持ちうる値を型安全に扱えるようになりましょう。