BFE.devでのAI解答例 - TypeScript タイプパズル
45. implement Slice<A, S, E>

type Slice<A extends any[], S extends number, E extends number = A["length"]> =
  A extends any ? A extends [infer F, ...infer R]
  ? [...(S extends 0 ? [] : Slice<R, S-1, E>), F]
  : []
  : never extends infer U
  ? U extends Array<any>
  ? U extends [infer _, ...infer Rest]
  ? Rest
  : []
  : never
  : never;

この回答では、ジェネリック型Aと開始インデックスS、およびオプションの終了インデックスEを取るSlice型を定義しています。 Aからは、取り出す部分配列の始まりのインデックスであるSを指定しています。Eを指定した場合、それは終了インデックスであり、指定されなかった場合はAのlengthであることが想定されます。 Aは、再帰的にスライスするために右側にスライスされ、各要素が新しい配列に追加されます。開始インデックスSに達したときに配列を返して再帰的な呼び出しを停止します。 最後に、never型を使用して、Aに型エラーがある場合に妥当な型を返します。