从“值”推导（最基础）

• let a = 1 → a: number

• const a = 1 → a: 1（更精确：字面量类型）

关键点：

• let 通常推成“宽类型”（number/string）

• const 更容易推成“窄类型”（1/'abc'/true）