## 5.1 条件类型与分布式条件类型

文档摘要

## 5.1 条件类型与分布式条件类型 5.1 条件类型与分布式条件类型：类型系统的逻辑分支与集合运算类型系统的演进史本质上是一部人类与不确定性抗争的思想史。当JavaScript的动态性在大型工程中演变为不可控的复杂性洪流时，TypeScript并未选择筑起静态类型的高墙将动态性彻底隔绝，而是以一种更为精妙的方式——将逻辑判断能力注入类型层面，让类型系统本身具备思考与决策的能力。条件类型（Conditional Types）正是这一哲学最深刻的体现，它标志着类型检查从简单的"结构匹配"跃升至"逻辑推导"的维度。而分布式条件类型（Distributive Conditional Types）则是这一能力在集合论层面的自然延伸，揭示了类型运算背后深邃的数学本质。