1 泛型就像函数 1 2 3 4 5 const fn = (a, b) => a + b const result = fn(1, 2) // 3 type F<A, B> = A | B type Result = F<string, number> // string | number 函数的本质：推后执行的、部分待定的代码段 泛型的本质：

1 复习对象语法 字面量形式 1 2 3 4 type Person = { name: string age: number } 索引签名 1 2 3 4 type Hash = { [k: string]: unknown length: number } 映射类型（多用于泛型） 1 2 3 4 type Hash = { [k in string]: unknown length: number // 报

顶类型 unknown 所有类型的集合 任何值都可以赋给unknown类型 1 2 3 let a: unknown let b: string = '1' a = b 底类型 never 可以被赋给任何类型 1 2 3 let a: never = undefined as never let b: string = '1'

TS = JS + 类型系统 TS类型系统的运算主要有两种：或（|）运算和与（&）运算 1 联合类型（并集） 1.1 示例 | 可以属于x类型，也可以属于y类型 1

1 JS与TS的数据类型 JS（8种） number boolean string bigint symbol null undefined object (含Array Function Date..) TS JS 8种 void never enum unknown any 自定义类型interface type(type严格来讲