引入

我们有着这么一个 login 方法, 主要处理 登录逻辑

const login = (mode: string) => {
  if (mode === 'account') {
    loginWithAccount();
  } else if (mode === 'email') {
    loginWithEmial();
  } else if (mode === 'github') {
    loginWithGithub();
  } else if (mode === 'mobile') {
    loginWithMobie();
  } else if (mode === 'weChat') {
    loginWithWeChat();
  } else if (mode === 'weibo') {
    loginWithWeibo();
  } else if (mode === 'qq') {
    loginWithQQ();
  } else {
    throw new Error('not support mode:' + mode);
  }
};

引入

TypeScript 类型系统中有些类型比较特殊，比如 any、never、联合类型，比如 class 有 public、protected、private 的属性，比如索引类型有具体的索引和可索引签名，索引还有可选和非可选。。。

类型的判断要根据它的特性来，比如判断联合类型就要根据它的 distributive 的特性

分布式条件类型

引入

TypeScript 类型系统没有加减乘除运算符，怎么做数值运算呢？

BuildArray 中我们使用了 Arr["length"] 是不是就是 数字

所以我们可以通过构造不同的数组然后取 length 的方式来完成数值计算，把数值的加减乘除转化为对数组的提取和构造

递归复用

针对 提取或构造的数组元素个数不确定、字符串长度不确定、对象层数不确定

递归是把问题分解为一系列相似的小问题，通过函数不断调用自身来解决这一个个小问题，直到满足结束条件，就完成了问题的求解

TypeScript 类型系统不支持循环，但支持递归。当处理数量（个数、长度、层数）不固定的类型的时候，可以只处理一个类型，然后递归的调用自身处理下一个类型，直到结束条件也就是所有的类型都处理完了，就完成了不确定数量的类型编程，达到循环的效果

引入

类型编程主要的目的就是对类型做各种转换，那么如何对类型做修改呢？

TypeScript 类型系统支持 3 种可以声明任意类型的变量： type、infer、类型参数

引入

我们知道，字符串可以和正则做模式匹配，找到匹配的部分，提取子组，之后可以用 $1, $2 等引用匹配的子组

'abc'.replace(/a(b)c/, '$1,$1,$1'); // b,b,b

TypeScript 类型系统中的类型

静态类型系统的目的是把类型检查从运行时提前到编译时，那 TS 类型系统中肯定要把 JS 的运行时类型拿过来，也就是 number、boolean、string、object、bigint、symbol、undefined、null 这些类型，还有就是它们的包装类型 Number、Boolean、String、Object、Symbol。

这些很容易理解，给 JS 添加静态类型，总没有必要重新造一套基础类型吧，直接复用 JS 的基础类型就行。

复合类型方面，JS 有 class、Array，这些 TypeScript 类型系统也都支持，但是又多加了三种类型：元组（Tuple）、接口（Interface）、枚举（Enum）