什么是TypeScript？
TypeScript是拥有类型系统的JavaScript的超集，可以编译成纯JavaScript：
1.类型检查：TS会在编译代码时进行严格的静态类型检查，这意味着可以在编码阶段发现可能存在的隐患，而不是带到线上去。
2.语言扩展：TS会包括来自ES6和未来提案中的特性，如异步操作和装饰器，也会从其他语言借助某些特性，如接口和抽象类。
3.工具类型：TS可以编译成标准的JS，可以在任何浏览器和操作系统上运行，从这个角度讲，它更像是个工具，而不是一门独立的语言。
为什么要使用TypeScript？
其他好处，比如：
VSCode具有强大的自动补全、导航和重构功能，这使得接口定义可以直接代替文档，同时也可以提高开发效率，降低维护成本。
TS可以帮团队重塑“类型思维”，接口的提供方将被迫去思考API的边界，他们将从代码的编写者蜕变为代码的设计者。
强类型语言和弱类型语言
强类型语言
在强类型语言中，当一个对象从调用函数传递到调用函数时，其类型必须与被调用函数中声明的类型兼容
通俗定义：强类型语言不允许改变变量的数据类型，除非进行强制类型转换
弱类型语言
在弱类型语言中，变量可以被赋予不同的数据类型
JavaScript与C++对比
静态类型与动态类型对比
强类型语言：不允许程序在发生错误后继续执行
语言象限
