不久前曾做了一场分享，希望可以用 md 记录下来，主要是想深入浅出地帮助大家搞懂 TypeScript 中最难的一部分，协变逆变和 infer 以及前置知识。