前端

都是利用了泛型，概念上类似于返回类型的一个工具函数那样。所以也称为工具类型。 下面的用的的keys结果类似这样 'a' | 'b' | 'c' 下面是针对联合类型的一些工具类型 下面的输入类型为函数类

全局量的类型声明 全局函数声明 可以同时定义多套函数声明 参数可选时 定义类 定义对象/命名空间 复杂情况：多种类型并存，比如：既是对象又是函数 定义模块module,用于require和import