「TS类型体操」作为一名花里胡哨的前端，看到最近这不是冬奥会开始了，咱们得为运动健儿们呐喊助威，还想着能不能当一次前端届的体操运动员，和奥运健儿们一起感受在冬天运动的魅力， 下面，我们就开始做操吧！

ts中的enum、union、tuple等类型提供了不同角度的类型声明方式。这些类型中有些是彼此之间相似程度比较高，有些也可以相互转化。了解这些类型越全面，对灵活运用typescript约有帮助。

来看一个经典的类型体操问题：如何实现一个 UnionToIntersection？ 具体地说，这个问题有三个子问题：联合类型的分配律、 逆变位置、逆变和协变。我们在递归地解决问题的过程中，递归地给出解

本文介绍了什么是条件类型以及条件类型的实现原理，通过循序渐进的方式由浅入深的讲解了条件类型的使用场景以及如何使用条件类型

unknown 指的是不可预先定义的类型，在很多场景下，它可以替代 any 的功能同时保留静态检查的能力。 这个时候 unknown 的作用就跟 any 高度类似了，你可以把它转化成任何类型，不同的地方是，在静态编译的时候，unknown 不能调用任何方法，而 any 可以。 …

TS 类型体操，太秀了吧，数组、递归、infer 满天飞，今天就来领略一下 TS 能做什么骚操作吧！

大家好，我叫小杜杜，是一个喜欢动手敲代码的小菜鸟，我认为代码应该亲自敲一遍，才能更好的熟记于心，作为一个程序员，我们与自己的小伙伴共同开发、维护于一个项目，需要保持代码的整洁、清晰

深入讲解Typescript高级类型工具实现原理和编程技巧。全程干货、不扯闲篇，助你轻松实现Ts进阶。