TypeScript 支持块级类型声明，即类型可以声明在代码块（用大括号表示）里面，并且只在当前代码块有效 TypeScript 的类型存在兼容关系，某些类型可以兼容其他类型 TypeScript 的一个规则是，凡是可以使用父类型的地方，都可以使用子类型，但是反过来不行
