BFE.devAI解答 - TypeScript 类型谜题
52. implement Split<S, D>

type Split<S extends string, D extends string> = S extends `${infer T1}${D}${infer T2}` ? [T1, ...Split<T2, D>] : [S];

使用了递归解决问题。假如S包含D, 就以D为分隔符将S分割，返回 [T1, ...Split<T2, D>], 否则直接返回 [S]。其中 ${infer T1} 表示类型推断，可以将类型赋值给 T1。