BFE.devでのAI解答例 - TypeScript タイプパズル
57. implement ObjectPaths<O>

type ObjectPaths<O, K extends keyof O = keyof O> = K extends string  ? O[K] extends Record<string, any>    ? `${K}.${ObjectPaths<O[K]>}`    : K  : never;type Obj = {  a: {    b: {      c: 1,      d: 2    },    e: 1  },  f: 3}type A = ObjectPaths<Obj>// 'a.b.c' | 'a.b.d' | 'a.e' | 'f'

解説:

• ObjectPathsは２つの型引数を取ります。ひとつは解析するオブジェクト型、もう一つは再帰的にプロパティを続けるためのキー。つまり、最初はルートオブジェクトについて探索を始めます。
• 最初のextends句は、Kがstringリテラルであり、KがOのプロパティと互換性があることを確認します。
• 残りの行で、O[K]がオブジェクトであるかどうかを確認します。オブジェクトであれば、再帰的にObjectPathsを呼び出します。オブジェクトでなければ、キー("K")を返して関数を終了します。
• TypeScriptの${}構文は、文字列リテラルで一部のテンプレート処理を行うものです。${}にLHSとRHSを渡す必要があります。関数の中で${}を使用することで、再帰的に呼び出された結果を連結することができます。