我们知道，TypeScript 支持 infer 来提取类型的一部分，通过模式匹配的方式。 比如元组类型提取最后一个元素的类型： 比如函数提取返回值类型： 比如字符串提取一部分，然后替换： 模式匹配就

非常汗颜，写ts好多年了，虽然不是anyscript风格，但一直当作类型标注在写，顶多用用函数重载和范型，连infer是谁都不认识，虽然也从当年这个文章中：用 TypeScript 类型运算实现一个中

情景再现 有这么一个条件类型的基本语法: 如果占位符类型U是一个可以被分解成几个部分的类型，譬如数组类型，元组类型，函数类型，字符串字面量类型等。这时候就可以通过infer来获取U类型中某个部分的类型

前言 最近在写React时定义变量类型时，无意点到了ElementType，然后在node_modules/@types/react/index.d.ts 中发现了这段代码： 牛啊，虽然我没太看懂，但

如果一个集合 A 里面的所有元素集合 B 里面都存在，那么我们可以理解集合 B 是集合 A 的超集，集合 A 为集合 B 的子集。

我们都知道，JavaScript 是一门非常灵活的编程语言，这种灵活性一方面使得它成为最受欢迎的编程语言，另一方面也使得它的代码质量参差不齐，维护成本高，运行时错误多。

前言 这篇文章前前后后写了几个月,之前总是零零散散的学习,然后断断续续的写文章(懒),自己参考了很多文章以及看了一些ts视频,然后把基础的知识点全部总结了一下.自我感觉比掘金上的所有typescrip

以后看到 T extends U ? X : Y 再也不怕了。精心设计设计的动画，让你轻松掌握条件类型、分布式条件类型和 TS 内置工具类型的工作原理。

14.4W 播放量的 TS 动画版进阶教程合集来了！通过形象生动的动画，让你轻松搞懂 TypeScript 相关知识，打好进阶 TS 的基础！