类型推导

类型推导Type Inferenc：TS会从"值、上下文、控制流、泛型约束"里面去推出最合理的类型，并在需要时逐步缩窄。

1. 从“值”推导（最基础）
2. 从“表达式结构”推导
3. 从“上下文”推导（Contextual Typing）
4. 从“控制流”推导并收窄（Control Flow + Narrowing）
5. 泛型推导（从参数反推出 T）
6. 推导的“宽化/窄化”规则