XDChen

``` // 可以把判断逻辑写在值里，能减少一次三元运算符的使用 type Filter = T extends [infer A, ...infer B] ? Filter : R type F0 = Filter; // [6, 7] type F1 = Filter; // ["kakuqo", "lolo"]...

``` type ArrayShift = T extends [first: string, ...rest: infer R] ? R : []; type JoinStrArray = { 2: Result, 1: JoinStrArray 0: JoinStrArray }[Arr extends [first: string, second:...

``` type Flat = T extends [infer A, ...infer B] ? [...(A extends any[] ? Flat : [A]), ...Flat] : [] type F0 = Flat // [] type F1 =...