本文讲的内容是 TypeScript 类型系统的内部工作方式与原理，掌握之后可以做到“在编码时将代码在你的大脑里面运行一遍，不用依赖于编译器的类型检查” 。

你是否曾经在学习/使用 TS 时:1. 看了各种TS文档，写起来还是似懂非懂； 2. 接触了一些TS关键字，用起来不太熟练，缺乏明确的理论参考？那么这篇文章非常适合你！

TypeScript 的never类型很少被讨论，因为它不像其他类型那样常用。TypeScript 初学者可能会忽略never类型，因为它只在处理高级类型（例如条件类型）或碰到一些神秘的类型错误时出现

在过去的几年里，TypeScript 语言除了增长用户之外几乎什么都没做。它已被许多 Web 开发人员评为最喜欢的语言。使用纯JavaScript 代码的前端工作变得越来

TS 只是 JS 的增强而已吗？你知道什么是类型编程吗？ 看完本篇文章，让你对类型编程，念头通达。

TS 字符串模板类型的写法跟 JS 模板字符串非常类似，我们看官方的例子： 除了前面的 type 跟 JS 不一样之外，后面就是一模一样了，通过 ${} 包裹，里面可以直接传入类型变量，使用变量的模板