为什么说typescript能让代码变得更加安全？

为什么说typescript能让代码变得更加安全？它是怎么做到的？

首先在弄清楚这个问题之前，我们先搞清楚一件事情：

程序运行这整个过程是怎么样的：

1. 程序是由程序员编写的一系列文本文件组成的；
2. 这些文本都是由一个特殊的程序解析，这个特殊的程序就是我们经常说的编译器；
3. 在编译器解析完成之后会转换成抽象句法树（abstract syntax tree，AST）【AST就是去掉了空白，注释和缩进的制表符或空格之后的数据结构】；
4. 编译器会把AST转换成一种称为字节码的底层表示；
5. 字节码在传给运行时程序计算，最后得出结果；

总而言之，运行程序就是让运行时计算由编译器从源码解析得到的AST生成的字节码。

• 好了，理解了运行一个程序锁经过的流程之后，就来说说为什么typescript会让代码变得更加安全； 按照常规操作，typescript的源码在编译器解析得到AST后会直接编译成字节码，最后运行时计算该字节码。
  但是typescript就是这么特殊，它不直接编译成字节码，而是编译成了JavaScript代码，然后JavaScript在执行一次上面的操作最后运行时计算的是由JavaScriptAST编译成的字节码。

• 看下面的流程： typescript源码 -> typescriptAST -> 类型检查器检查AST -> typescriptAST -> JavaScript源码 -> JavaScriptAST -> 字节码 -> 运行时计算该字节码

• 类型检查器就是检查代码是否符合类型安全要求的特殊程序（这个就是typescript的特殊之处，有了这一步，typescript才能保证程序能按预期的正常运行）。