tail-recursive-generics

TypeScript limits the depth of type instantiation to prevent infinite loops. When you hit "Type instantiation is excessively deep and possibly infinite," you need to refactor your recursive types to be tail-recursive. Using an accumulator pattern, you can write types that TypeScript can optimize, avoiding depth limits.

This skill is essential for type-level programming that processes large or deeply nested structures.

Use accumulator patterns to make generic types tail-recursive. Pass accumulated results as type parameters rather than building up nested type structures.

当出现“类型实例化过深”错误时使用。在编写递归泛型类型时使用。在加工大型或深型结构时使用。在构建类型级循环时使用。 来源：marius-townhouse/effective-typescript-skills。