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

TypeScript 给 JavaScript 添加了一套类型语法，我们声明变量的时候可以给变量加上类型信息，这样编译阶段就可以检查出变量使用的对不对，也就是类型检查。 给变量添加类型，很自然可以想到

编译 TypeScript 代码用什么编译器？ 那还用说，肯定是 ts 自带的 compiler 呀。 但其实 babel 也能编译 ts 代码，那用 babel 和 tsc 编译 ts 代码有什么区

TS 类型体操小册掘金排期排到 4月份了，有点晚。。。 所以我把其中一个套路提出来作为文章发了，大家可以提前感受下，到时候也会设置为小册的试读章节。 这个套路叫做数组长度做计数，就是用数组长度实现加减

TypeScript 类型系统支持类型编程，也就是对类型参数做一系列运算产生新的类型。比如这样： 这种类型编程逻辑可以写的很复杂，所以被戏称为“类型体操”。 它是 TS 中最强大也是最复杂的部分了，属

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

keyof T 拿到 T 所有属性名, 然后 in 进行遍历, 将值赋给 P, 最后 T[P] 取得相应属性的值. 当然这也只能一层 如上面Partial例子来看jack.person.name 是可以直接修改的。 上面的-?, 这里很好理解就是将可选项代表的 ? 去掉, 从而…

本文阿宝哥将分享这些年在学习 TypeScript 过程中，遇到的 10 大 “奇怪” 的符号。其中有一些符号，阿宝哥第一次见的时候也觉得 “一脸懵逼”，希望本文对学习 TypeScript 的小伙伴能有一些帮助。 好的，下面我们来开始介绍第一个符号 —— ! 非空断言操作符。…

阿宝哥第一次使用 TypeScript 是在 Angular 2.x 项目中，那时候 TypeScript 还没有进入大众的视野。然而现在学习 TypeScript 的小伙伴越来越多了，本文阿宝哥将从 16 个方面入手，带你一步步学习 TypeScript，感兴趣的小伙伴不要错…