TypeScript で再帰的な型を定義する - Qiita

// tuple を自然に取り扱えるようになった（以前は関数の引数を経由する必要があった） type Head<T> = T extends [infer U, ...unknown[]] ? U : never; type Tail<T> = T extends [unknown, ...infer U] ? U : []; // 再帰を自然に記述できるようになった // readonly で as const 相当を強制できるようになった type DeepPath<State, Paths extends readonly unknown[]> = Head<Paths> extends keyof State ? Tail<Paths> extends [] ? State[Head<Paths>] : DeepPath<NonNullable<State[Head<Paths>]