update typesciprt.md

Author: febobo

docs/es6/typeScript.md

@@ -1,4 +1,4 @@
-### 基本语法
+### 概述
 
 ### 变量申明
 ```js
@@ -30,6 +30,51 @@ const point: Point = { x: 10, y: 20 }
 ```js
 type mathfunc = (a: number, b: number) => number
 const product: mathfunc = (a, b) => a * b
+```
+
+### 泛型
+泛型的意义在于函数的重用性，我们希望组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型
+
+**为什么不用`any`呢？**  
+
+使用 `any` 会丢失掉一些信息，我们无法确定返回值是什么类型  
+泛型可以保证入参跟返回值是相同类型的，它是一种特殊的变量，只用于表示类型而不是值
+
+语法 `<T>(arg:T):T` 其中`T`为自定义变量，能前后对应就行
+
+```js
+const hello : string = "Hello vue!"
+function say<T>(arg: T): T {
+    return arg;
+}
+console.log(say(hello)) // Hello vue! 
+```
+
+#### 泛型约束
+我们使用同样的例子，加了一个`console`，但是很不幸运，报错了，因为泛型无法保证每种类型都有`.length` 属性
+
+```js
+const hello : string = "Hello vue!"
+function say<T>(arg: T): T {
+	console.log(arg.length) // Property 'length' does not exist on type 'T'.
+    return arg;
+}
+console.log(say(hello)) // Hello vue! 
+```
+
+从这里我们也又看出来一个跟`any`不同的地方，如果我们想要在约束层面上就结束战斗，我们需要定义一个接口来描述约束条件
+
+```js
+interface Lengthwise {
+    length: number;
+}
+
+function say<T extends Lengthwise>(arg: T): T {
+	console.log(arg.length)
+    return arg;
+}
+console.log(say(1))  // Argument of type '1' is not assignable to parameter of type 'Lengthwise'.
+console.log(say({value: 'hello vue!', length: 10})) // { value: 'hello vue!', length: 10 } 
+```
+
 
-console.log(num, str, arr, set, map, sum(1, 2), product(2, 3), point)
-```

docs/reactivity/effect.md

@@ -8,7 +8,7 @@
 
 ### 正文
 
-我们还是选择先从定义看起，慢慢的跟我一起扯下它神秘的面纱
+我们还是选择先从定义看起
 
 `effect` 接收两个参数
 - `fn` 回调函数