下面我们来总结一下这道题中我们学到的知识点: extends 关键字用于条件判断。 infer 关键字用于推导类型。keyof 关键字用于获取对象接口属性。ts 类型递归。ts 中的 3 个基本类型的含义，即 any,never,void 的含义。ts 中内置类型的实现，如: ReadonlyArray,Exclude,PropertyKey,Record。

作为前端开发工程师，JavaScript是我们主要的开发语言，是每个人必须要掌握的，它是弱类型语言，本身语法也比较简单，最近我偶然间发现了一个奇怪的问题

因为 JavaScript 是弱类型语言或者说是动态语言。这意味着你不需要提前声明变量的类型，在程序运行的过程中，类型会被自动确定，也就是说你可以使用同一个变量保存不同类型的值

javaScript 有三个经常会使用到的原始类型：stirng，number,boolean。每一个在Typescript都有一个相对应的类型。 正如你所期望的，你可以得到相同的名称在javascript中使用typeof去操作这些类型对应的值

当两个类型不同时进行==比较时，会将一个类型转为另一个类型，然后再进行比较。比如Object类型与Number类型进行比较时，Object类型会转换为Number类型。 Object转换为Number时

type 是 类型别名，给一些类型的组合起别名，这样能够更方便地在各个地方使用。假设我们的业务中，id 可以为字符串或数字，那么我们可以定义这么一个名为 ID 的 type：

在开发过程中，为了应对多变的复杂场景，我们需要了解一下 TypeScript 的高级类型。所谓高级类型，是 TypeScript 为了保证语言的灵活性，所使用的一些语言特性

最近在看 TypeScript 相关的内容，做了一下类型体操，真的太秀啦，递归、infer 满天飞，今天就来领略一下 TS 能做什么骚操作吧！先放上本文的几个小标题，很骚

在 TypeScript 中，映射类型可以帮助我们避免编写重复的代码，它可以根据现有类型和定义的一些规则来创建新类型。下面就来看一下什么是映射类型以及如何构建自己的映射类型。

unknown是所有类型的父类型，其他类型都可以赋值给 unknown；never 是任何类型的子类型，可以赋给任何类型；any可以赋值给任何类型，任何类型可以赋值给any

使用强类型语言会带来很多好处，TypeScript也不例外：你使用的类型越强，就能获得越好的结果。不幸的是，TypeScript 的灵活性让我们能够使用一种大得多的类型去描述某些对象

如果原生JS支持「类型注解」，就能省去「类型擦除」对应的编译流程，让代码更容易在宿主环境执行。这份提案的目的，并不是另起炉灶，独立实现一套原生 JS 的类型注解。

类型是 TypeScript 的灵魂，很多时候我们需要种种新的类型。工具类型是 TypeScript 的一种特殊类型，为了解决某一特定的类型问题，得到一种新的类型。有的就是一种通用类型；有的则可以对现有类型进行一定的转换，从而得到一种新的类型。

Object 、 {} 和 object ，这三个表示对象的类型很容易让人迷惑，下面来总结一下它们的联系和差异。Object 是 Object.prototype 的接口定义。源码中定义如下：

Javascript 里的类型转换是一个你永远绕不开的话题，不管你是在面试中还是工作写代码，总会碰到这类问题和各种的坑，所以不学好这个那是不行滴。