类型推断

如果没有明确的指定类型，那么 TypeScript 会依照类型推论（Type Inference）的规则推断出一个类型。

自动推断为 Boolean，

let var2 = true;
// 等价于
let var2: boolean = true;

如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 any 类型而完全不被类型检查：

let myFavoriteNumber; // 推断成any
myFavoriteNumber = 'seven';
myFavoriteNumber = 7;