前言
今儿接着介绍类型推论。
如果没有明确的指定类型，那么 TypeScript 会依照类型推论（TypeInference）的规则推断出一个类型。
正文
什么是类型推论呢？
以下代码虽然没有指定类型，但是会在编译的时候报错：
let myFavoriteNumber = 'seven'; myFavoriteNumber = 7; // Type 'number' is not assignable to type 'string'.
事实上，它等价于：
let myFavoriteNumber: string = 'seven'; myFavoriteNumber = 7; // Type 'number' is not assignable to type 'string'.
TypeScript 会在没有明确的指出类型的时候推测出一个类型，这就是类型推论。
注意：如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成
any类型而完全不被类型检查。
let myFavoriteNumber; myFavoriteNumber = 'seven'; myFavoriteNumber = 7;
