TypeScript 类型体操：从入门到写一个类型安全的计算器

用实战案例拆解 TypeScript 类型体操的核心思想，从 infer 条件类型、递归类型推导到 Tuple 算术运算，手把手教你用类型系统实现一个四则运算计算器，彻底理解泛型编程的「类型即函数」范