递归工具类型应如何设置终止条件并控制类型计算成本

# 核心结论

递归工具类型不能只关注最终形状，还必须明确叶子节点、递归分支、终止条件和计算预算。可靠设计通常先识别基本类型、函数及其他不应深入处理的特殊对象，再区分元组、数组和普通对象，最后通过映射类型递归属性。如果输入可能很深、包含递归声明或分布式联合，还应设置显式深度限制，避免编辑器响应变慢或触发“类型实例化过深”一类诊断。

type Primitive =
  | string
  | number
  | boolean
  | bigint
  | symbol
  | null
  | undefined;

type DeepReadonly<T> =
  T extends Primitive |