@@ -1,6 +1,6 @@
 # TypeScript 中的进阶类型
 
-## Union Type | 联合类型
+# Union Type | 联合类型
 
 TypeScript 中允许定义联合类型，即指定某个变量可能为 A 类型也可能为 B 类型：
 
@@ -56,6 +56,72 @@ let oops = getProperty(x, 'wargarbl'); // Error! "wargarbl" is not "foo" | "bar"
 setProperty(x, 'foo', 'string'); // Error!, string expected number
 ```
 
+# Generics | 泛型
+
+泛型允许我们灵活地定义某些函数或者类接收的参数类型，更易于创建灵活而可控地可重用组件，泛型函数定义格式如下：
+
+```ts
+<T>(items :T[], callback :(item :T) => T) :T[]
+```
+
+这里我们以简单地创建数组的函数为例：
+
+```ts
+function genericFunc<T>(argument: T): T[] {
+  const arrayOfT: T[] = []; // Create empty array of type T.
+  arrayOfT.push(argument); // Push, now arrayOfT = [argument].
+  return arrayOfT;
+}
+
+const arrayFromString = genericFunc<string>('beep');
+console.log(arrayFromString[0]); // "beep"
+console.log(typeof arrayFromString[0]); // String
+
+const arrayFromNumber = genericFunc(42);
+console.log(arrayFromNumber[0]); // 42
+console.log(typeof arrayFromNumber[0]); // number
+```
+
+```ts
+// 接口泛型
+interface Pair<T1, T2> {
+  first: T1;
+  second: T2;
+}
+
+// 泛型类属性
+class Pair<T> {
+  fst: T;
+  snd: T;
+}
+```
+
+我们还可以指定泛型子类，即指定某个类型必须是实现某个接口或者继承自某个类：
+
+```ts
+interface HasLength {
+  length: number;
+}
+
+function addLengths<T extends HasLength>(t1: T, t2: T): number {
+  return t1.length + t2.length;
+}
+
+addLengths('hello', 'abc');
+addLengths([1, 2, 3], [100, 11, 99]);
+```
+
+TypeScript 2.3 之后支持泛型默认参数，可以某些场景减少函数类型重载的代码量，譬如：
+
+```ts
+declare function create<T extends HTMLElement = HTMLDivElement, U = T[]>(
+  element?: T,
+  children?: U
+): Container<T, U>;
+```
+
+# Mapped Types
+
 ## Partial Type | 偏类型
 
 在实际开发中，我们往往只希望用到某个接口的部分属性，特别是在实体类的定义中：
@@ -120,66 +186,6 @@ declare function pick<T, K extends keyof T>(obj: T, ...keys: K[]): Pick<T, K>;
 const nameAndAgeOnly = pick(person, 'name', 'age'); // { name: string, age: number }
 ```
 
-# Generics | 泛型
-
-泛型允许我们灵活地定义某些函数或者类接收的参数类型，更易于创建灵活而可控地可重用组件，泛型函数定义格式如下：
-
-```ts
-<T>(items :T[], callback :(item :T) => T) :T[]
-```
-
-这里我们以简单地创建数组的函数为例：
-
-```ts
-function genericFunc<T>(argument: T): T[] {
-  const arrayOfT: T[] = []; // Create empty array of type T.
-  arrayOfT.push(argument); // Push, now arrayOfT = [argument].
-  return arrayOfT;
-}
-
-const arrayFromString = genericFunc<string>('beep');
-console.log(arrayFromString[0]); // "beep"
-console.log(typeof arrayFromString[0]); // String
-
-const arrayFromNumber = genericFunc(42);
-console.log(arrayFromNumber[0]); // 42
-console.log(typeof arrayFromNumber[0]); // number
-```
+# 链接
 
-```ts
-// 接口泛型
-interface Pair<T1, T2> {
-  first: T1;
-  second: T2;
-}
-
-// 泛型类属性
-class Pair<T> {
-  fst: T;
-  snd: T;
-}
-```
-
-我们还可以指定泛型子类，即指定某个类型必须是实现某个接口或者继承自某个类：
-
-```ts
-interface HasLength {
-  length: number;
-}
-
-function addLengths<T extends HasLength>(t1: T, t2: T): number {
-  return t1.length + t2.length;
-}
-
-addLengths('hello', 'abc');
-addLengths([1, 2, 3], [100, 11, 99]);
-```
-
-TypeScript 2.3 之后支持泛型默认参数，可以某些场景减少函数类型重载的代码量，譬如：
-
-```ts
-declare function create<T extends HTMLElement = HTMLDivElement, U = T[]>(
-  element?: T,
-  children?: U
-): Container<T, U>;
-```
+- https://dev.to/busypeoples/notes-on-typescript-mapped-types-and-lookup-types-i36