共用体型（ユニオン型）
いくつかの型のうちのどれかになれる型。例：string | number | null。
TypeScript、Python（3.10以降の |）、Rust（enumのバリアントとして）、Swiftなどにある。コンパイラに網羅性チェックを強制させられる。判別共用体（discriminated union）は、各バリアントにタグ用フィールドを持たせたもので、パターンマッチを安全にする。「型安全な状態機械」の中核だ。
いくつかの型のうちのどれかになれる型。例：string | number | null。
TypeScript、Python（3.10以降の |）、Rust（enumのバリアントとして）、Swiftなどにある。コンパイラに網羅性チェックを強制させられる。判別共用体（discriminated union）は、各バリアントにタグ用フィールドを持たせたもので、パターンマッチを安全にする。「型安全な状態機械」の中核だ。