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。