什么是类型推论
下面的代码虽然没有指定类型，但是会在编译的时候报错：
let study = '学习'
study = 666
// Type '666' is not assignable to type 'string'.
这两句代码在我们看来其实是没有什么错误的，但是在TS中它会进行类型推论。实际上，这两句代码等价于：
let study:string = '学习'
study = 666
// Type '666' is not assignable to type 'string'.
简单来说，TypeScript 会在没有明确的指定类型的时候推测出一个类型，而推测的依据其实就是后面赋的值是什么类型的。这就是TypeScript类型推论。
*** 另外一种特殊的情况，如果在定义某个变量的时候没有赋值，然后之后不论有没有进行赋值操作，该变量都会被推断为any类型而不被类型检查 。***
let study
study = '学习'
study = 666
study = true
study = null
study = undefined
