TypeScript 中的 Discriminated Unions

Discriminated Unions 是 TypeScript 中一種強大模式，可自動進行型別窄化，無需自訂 guard。

\n\n- 核心概念：由共用屬性（tag）與唯一字面量組成，並以條件判斷自動窄化。