背景简介 大家好，我是石小石！ 在前端项目开发中，我们常常会遇到这样一种情况：项目中引入了某个第三方库，但它没有提供内置的 TypeScript 类型声明。此时，如果你在 TypeScript 项目中

这里需要重拾一下什么是“类型”。抛开“实例化”这些术语，从集合角度出发，类型应该是指 具有特定特性的若干值的集合。 包含一个元素 1 的集合，字面量类型 "1" 是只包含一个元素 "1" 的集合。 这里是我一直以来都陷入的误区。看下面例子： 显然，变量 a 是 A 类型，但是实…

0. 前言 在学习和使用 TypeScript 的过程中，有一些问题一直困惑着我： 比如说联合类型与交叉类型在基础类型和对象类型上的不同表现， extends 关键字到底是什么意思等。

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

前言 extends 是 typeScript 中的关键字。在 typeScript 的类型编程世界里面，它所扮演的角色实在是太重要了，所以，我们不得不需要重视它，深入学习它。在我看来，掌握它就是进入

前言： typescript(ts)的使用已经十分普及了，然而很少关注ts是如何编译的。今天就来聊一聊

我们再来看看infer。 在extends语句中，还支持infer关键字，可以推断一个类型变量，高效的对类型进行模式匹配。但是，这个类型变量只能在true的分支中使用。 不知道初学ts的朋友们看完这个介绍是不是一脸懵逼，反正之前我是... 建议自己捋一遍。 ts提供的exten…

infer是在typescript 2.8中新增的关键字，几乎所有复杂的类型方法都有infer的身影。

本文分析了 可选链运算符(?.) 特性在代码里的滥用，乱用情况，可能会带来可读性、维护性差、隐式过滤异常等问题，以及正确的使用方式，能不用就尽量少用。