主要观点：介绍了 TypeScript 中反向映射类型（reverse mapped types），这是一个强大但鲜为人知的特性，可“反向运行映射类型”，用于从值中推断函数的类型参数等。
关键信息：

• 可通过简单函数和映射类型示例展示反向映射类型的作用，如unwrap函数。
• 解释了反向映射类型的工作原理，包括从参数类型推断源类型、反转映射类型动作以确定T等步骤。
• 提到源类型需满足有字符串索引签名或为部分可推断类型等要求，映射类型需无nameType等。
• 探讨了不同类型的映射类型的反向映射情况，如同态映射类型、带类型参数约束的映射类型、联合约束和交集约束等。
• 还涉及数组和元组的反向映射，以及在源类型上强制递归约束等内容。
  重要细节：
• 示例代码丰富，如各种函数定义和调用、类型定义等，帮助理解反向映射类型的应用。
• 引用了 TypeScript 源代码中的相关注释和函数，如infer关键字、getInferredType内部函数等，以深入理解其工作机制。
• 提到了一些相关的 GitHub 问题和 Pull Request，以及其他参考资源，如 Mateusz 的演讲。