Как исправить ошибку «Создание экземпляра типа является слишком глубоким и, возможно, бесконечным.ts(2589)» в моем случае?

Question

[Vlad]

Я находил ответы типа таких:

Но не понимаю как мне его использовать.
Были такие попытки, но они возвращали ошибку.

Переход на старый версии мне не нужен.
Что делать, не знаю. Помогите ))

Comments

[WbICHA]

Не очень понял, какую вообще задачу должен решать данный тип?

[Vlad]

WbICHA, Допустим есть тип "ABCD", он возвращает ["A", "B" ,"C" ,"D"]
Но при большом количестве символов выдает ошибку.

Answer 1

[Дмитрий Беляев]

TypeScript лимитирует вложенность рекурсии, дабы тайпчекер работал быстро и не зависал.
Можно уменьшить вложенность, если обрабатывать за раз сразу по несколько частей:

type Split<S extends string, D extends string = ''> = S extends ''
    ? []
    : S extends `${infer H0}${D}${infer H1}${D}${infer H2}${D}${infer H3}${D}${infer H4}${D}${infer H5}${D}${infer Tail}`
        ? [H0, H1, H2, H3, H4, H5, ...Split<Tail, D>]
        : S extends `${infer H0}${D}${infer H1}${D}${infer H2}${D}${infer H3}${D}${infer Tail}`
            ? [H0, H1, H2, H3, ...Split<Tail, D>]
            : S extends `${infer H0}${D}${infer Tail}`
                ? [H0, ...Split<Tail, D>]
                : never;

https://www.typescriptlang.org/play?#code/C4TwDgpg...

Comments

[Vlad]

Огромное вам спасибо!