介绍 TypeScript 中的泛型，包括定义和使用、自我推断、使用 extends 给泛型画圈、泛型的绑定能力、映射类型等。给出实战例子，展示如何完善一个 JS 函数的类型。