变量的声明
在TypeScript中定义变量需要指定 标识符 的类型。声明了类型后TypeScript就会进行类型检测，声明的类型可以称之为类型注解（Type Annotation）。
完整的声明格式：
var/let/const 标识符: 数据类型 = 赋值;
比如我们声明一个message，完整的写法如下：
let message: string = "hello world"
注意：这里的string是小写的，和String是有区别的。string是TypeScript中定义的字符串类型，String是ECMAScript中定义的一个类。
如果我们给message赋值其他类型的值，那么就会报错。
声明变量的关键字
在TypeScript定义变量（标识符）和ES6之后一致，可以使用var、let、const来定义。当然，在tslint中并不推荐使用var来声明变量。可见，在TypeScript中并不建议再使用var关键字了，主要原因和ES6升级后let和var的区别是一样的，var是没有块级作用域的，会引起很多的问题。
变量的类型推导（推断）
在开发中，有时候为了方便起见我们并不会在声明每一个变量时都写上对应的数据类型，我们更希望可以通过TypeScript本身的特性帮助我们推断出对应的变量类型。
如果我们给message赋值123
这是因为在一个变量第一次赋值时，会根据后面的赋值内容的类型，来推断出变量的类型。上面的message就是因为后面赋值的是一个string类型，所以message虽然没有明确的说明，但是依然是一个string类型。
