作为 TypeScript 类型编程的核心基础，类型系统的存在却一直不受重视，很少有人会认为它需要被认真对待。同样地，社区也几乎找不到专注于类型系统的学习资源。不了解类型编程，在学习中只能摸着石头过河；不理解这些类型编程范式背后的原理，学习效率自然也不会高。
这一专题会专注于 TypeScript 类型系统中最核心，也是与类型编程关联最紧密的部分：结构化类型系统、内置类型、类型层级以及条件类型分布式特性等。我希望通过这些最基础的概念，帮助你自顶向下去理解并建立起 TypeScript 类型系统的知识体系。这些概念不仅能帮助你在类型编程中游刃有余，也能在日常开发中给予你独立解决各种问题的能力。