宽化（widening）-let

• 含义：把一个很具体的字面量类型，推成更通用的大类型。

• 例子：

• 'ok'（很具体）→ string（更宽）

• 1 → number

• true → boolean

let s = 'ok'   // s: string（把 'ok' 宽化成 string）
let n = 1      // n: number

为什么要宽化：因为 let 变量是“可变的”，TS 认为你后面可能会改成别的字符串/数字，所以先给你一个更通用的类型，方便赋值。