【Typescript】自身と同型のオブジェクト構造を任意の世代数子孫を持っている場合の定義

Question

TypeScript で以下のような家族を表すオブジェクトがあった場合に、うまく定義できず困っております。
各人物オブジェクトは、keyが名前、age と 子孫を表すchildren を持っており、 children は任意の世代数が入ります。

const family = {
  'taro' : {
    age: 84,
    children: {
      'jiro': {
        age: 62,
        children: {
          'saburo': {
            age: 40,
            children: {
              'goro': {
                age: 22,
                children: {
                  ... 任意の数の世代が追加されていく ...
                }
              }
            },
          },
          'shiro': {
            age: 36,
            ... 子供がいない場合もある ...
          },
        }
      }
    }
  }
}

以下のようなイメージを想像しているのですが、
当然 children プロパティに Person を定義することはできずエラーになってしまいます。

type Family = {
  [key: string]: Person
}

type Person = {
  age: number
  children? : Person // ← エラー
}

このケースの正しい定義方法をご教授いただきたいです。よろしくお願いいたします。

Comments

[hoshi-takanori]

children の型は Person じゃなくて Family のような。
で、省略可能にするか、null や undefined を許容すれば良いのでは。

[kbash]

ご指摘ありがとうございます????‍♂️
children? : Family で 実現できました。

Answer 1

単純に、「子供がいない場合もある」を表現できていないだけではないでしょうか？

type Person = {
  age: number
  children? : Person // ?で「省略可能」という意味になる
}

Comments

[kbash]

ご指摘ありがとうございます。
`children? : ` と書いたつもりでしたので、質問文を修正しました。

`children?` と書いてもやはりうまくいかなようで、引き続き調査しております。

[maisumakun]

他の方から指摘があったように、children? : Familyと修正した場合は問題なさそうです。

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYghgWwJYBsRQLxQN4CgpQDaA1hCAFxQDOwATkgHYDmAupQAoS1UD2DuAX1y5QkKJ259MOfFDhMIlBgFcEAIy6yAxgAtUAE1oQGAfkrxkaQcK18aUAGaJUFWM7TS8BAOTA4tHm8oSi8COQVKAA4AFgAaWQJdAyMGEISw7wArJADvNLCC8MUoADYAJnjCsKSUQ2N8qoyqODVlXIbGsPli6IAGSs7qvVqUjsGfJh52mXGq7soyivTxoVmoAQHOjeXC7yo9adDx+agAZhLNxtWrneuCa6EBIA

[maisumakun]

（TypeScriptのバージョンが古い、などはありませんか？）

[kbash]

検証頂きありがとうございました。
ご指摘の方法で解決いたしました。????‍♂️