ts-Type Inference

如果没有明确指定类型，ts会按照类型推论的规则推导出一个类型，给你安上，所以还是有类型的。

let x = 3
// 相当于
let x: number = 3

所以这也就是下面这段代码报错的原因：

let myFavoriteNumber = 'seven';
myFavoriteNumber = 7;

// index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.

如果定义的时候没有赋值，类型为 any。

let myFavoriteNumber;
myFavoriteNumber = 'seven';
myFavoriteNumber = 7;

Best common type

没明白