feat：新增目录

Author: RainedX

docs/typescript/condition.md

@@ -0,0 +1,43 @@
+---
+title: 条件类型
+order: 12
+toc: menu
+nav:
+  title: TypeScript
+---
+
+## 基本使用
+
+条件类型够表示非统一的类型,以一个条件表达式进行类型关系检测，从而在两种类型中选择其一：
+
+```javascript
+// 若T能赋给U，那么类型是X，否则为Y,有点类似于JavaScript中的三元表达式
+type myType<T> = T extends number ? X : Y
+```
+
+```javascript
+interface Fish {
+  fishName: string;
+}
+interface Water {
+  water(): void;
+}
+interface Bird {
+  birdName: string;
+}
+interface Sky {
+  (): string;
+}
+
+type condition<T> = T extends Fish ? Water : Sky;
+
+let c: condition<Bird> = function sky() {
+  return 'happy';
+};
+```
+
+## 条件类型与联合类型
+
+条件类型有一个特性,就是「分布式有条件类型」，但是分布式有条件类型是有前提的，条件类型里待检查的类型必须是`naked type parameter`
+
+`naked type parameter`：裸类型参数，是指类型参数没有被包装在其他类型里,比如没有被数组、元组、函数、Promise 等等包裹（[更多参考](https://juejin.cn/book/6844733813021491207/section/6844733813139079182)）

docs/typescript/cross.md

@@ -40,3 +40,11 @@ function fn(): never {
 }
 let it: It = { name: fn() };
 ```
+
+```javascript
+function mixin<T extends object, K extends object>(a: T, b: K): T & K {
+  return { ...a, ...b };
+}
+
+mixin({ username: 'rain' }, { age: 1 });
+```

docs/typescript/customType.md

@@ -0,0 +1,7 @@
+---
+title: 自定义类型
+order: 14
+toc: menu
+nav:
+  title: TypeScript
+---

docs/typescript/declare.md

@@ -0,0 +1,7 @@
+---
+title: 编写声明文件
+order: 15
+toc: menu
+nav:
+  title: TypeScript
+---

docs/typescript/generic.md

@@ -26,8 +26,8 @@ function handleCallback<T>(count: T): T {
   return count;
 }
 
-handleCallback<number>(1);
-handleCallback<string>('hello');
+handleCallback < number > 1;
+handleCallback < string > 'hello';
 ```
 
 ## 函数中使用泛型
@@ -53,6 +53,7 @@ handleGeneric2<number>([1, 2, 3]);
 ```
 
 ## 泛型约束
+
 ```javascript
 
 function handleAdd<T extends number, K extends number>(num1: T, num2: K) {
@@ -61,67 +62,73 @@ function handleAdd<T extends number, K extends number>(num1: T, num2: K) {
 
 handleAdd(1, 2);
 ```
+
 ## 属性约束
+
 ```javascript
-const getVal = <T extends Object, K extends keyof T>(obj: T, key: K) => {
+const getVal = <T extends object, K extends keyof T>(obj: T, key: K) => {
   console.log(obj[key]);
 }
 
 getVal({ a: 1 }, 'a')
 ```
 
 ## 默认泛型
+
 ```javascript
 interface IGen<T = string> {
-  [key: string]: T
+  [key: string]: T;
 }
 
 type T1 = IGen;
-type T2 = IGen<number>
-type T3 = IGen<boolean>
+type T2 = IGen<number>;
+type T3 = IGen<boolean>;
 
-let str: T1 = { username: 'rain' }
-let age: T2 = { age: 12 }
-let bool: T3 = { flag: false }
+let str: T1 = { username: 'rain' };
+let age: T2 = { age: 12 };
+let bool: T3 = { flag: false };
 ```
 
 ## 接口中使用泛型
+
 ```javascript
 // 第一种 写在函数上的泛型表示调用函数时传入具体类型
 interface IG1 {
-  <T, K>(count: T, num: K): void
+  <T, K>(count: T, num: K): void;
 }
 
 const handleGeneric1: IG1 = <T, K>(count: T, num: K): void => {
   console.log(count, num);
-}
+};
 
 handleGeneric1(1, 1);
 
 // 第二种 写在接口后面的泛型表示使用接口时传入具体类型
 interface IG2<T, K> {
-  (count: T, num: K): void
+  (count: T, num: K): void;
 }
 
 const handleGeneric2: IG2<number, number> = <T, K>(count: T, num: K): void => {
   console.log(count, num);
-}
+};
 ```
 
 ## 类型别名中使用泛型
+
 ```javascript
-type IG1 = <T, K>(count: T, num: K)=> void
+type IG1 = <T, K>(count: T, num: K) => void;
 const handleGeneric1: IG1 = <T, K>(count: T, num: K): void => {
   console.log(count, num);
-}
+};
 
-type IG2<T, K> = (count: T, num: K)=> void
+type IG2<T, K> = (count: T, num: K) => void;
 const handleGeneric2: IG2<number, number> = <T, K>(count: T, num: K): void => {
   console.log(count, num);
-}
+};
 ```
 
 ## 类中使用泛型
+
 ```javascript
 class Person<T> {
   arr: T[] = [];

docs/typescript/innerType.md

@@ -0,0 +1,7 @@
+---
+title: 内置类型
+order: 13
+toc: menu
+nav:
+  title: TypeScript
+---

docs/typescript/other.md

@@ -0,0 +1,7 @@
+---
+title: 其他特性
+order: 16
+toc: menu
+nav:
+  title: TypeScript
+---

docs/typescript/practical.md

@@ -0,0 +1,7 @@
+---
+title: 实战
+order: 17
+toc: menu
+nav:
+  title: TypeScript
+---