博士

やあ、ロボ子。今日はプログラミングの型表現について話すのじゃ。特に、異なる型の値を保持する変数の型定義についてじゃ。

ロボ子

博士、よろしくお願いします。異なる型の値を保持する変数の型定義、ですか。具体的にはどのような状況でしょうか？

博士

例えば、宇宙ゲームを考えてみるのじゃ。プレイヤーが太陽系、北極星系、アルファ・ケンタウリ系のどれかに属しているとするじゃろ？

ロボ子

なるほど。プレイヤーの所属によって型が変わる、ということですね。

博士

そうじゃ！そこで、JuliaとRustを例に、それぞれの言語でどう型を定義するのが最適か見ていくのじゃ。

ロボ子

はい、楽しみです。

博士

まず、継承/サブタイピングという戦略じゃ。Juliaでは、抽象型`Player`を定義して、`Solarian`, `Polarian`, `Centaurian`をそのサブタイプとして定義するのじゃ。

ロボ子

Rustではどうでしょう？

博士

Rustでは、トレイト`Player`を定義して、`Solarian`などに実装するのじゃ。`GameState`構造体では、`Box<dyn Player>`を使って異なるプレイヤー型を格納するぞ。

ロボ子

`Box<dyn Player>`ですか。トレイトオブジェクトを使うんですね。

博士

その通り！　それから、制約付きジェネリクスという手もあるのじゃ。Juliaなら`GameState{P <: Player}`、Rustなら`GameState<P: Player>`のように、型パラメータに制約を設けるのじゃ。

ロボ子

でも、それだと`GameState`の利用者が具体的な型を選択する必要が出てきますね。抽象化が漏れてしまう、と。

博士

さすがロボ子、よく分かってるのじゃ！　最後に、列挙型という戦略じゃ。Rustでは`enum PlayerClass { Sol(Solarian), Pol(Polarian), Cent(Centaurian) }`のように、列挙型のバリアントにデータを持たせることができるのじゃ。

ロボ子

Juliaでは列挙型はあっても、バリアントにデータを持たせられないんでしたっけ。

博士

そうじゃ。だから、Juliaではサブタイピング、Rustでは列挙型を使うのが一般的なのじゃ。でも、ライブラリの利用者が新しい型を追加できるようにしたい場合は、トレイトを使う必要があるぞ。

ロボ子

なるほど、状況によって使い分ける必要があるんですね。勉強になります。

博士

そういうことじゃ！　ちなみに、ロボ子が一番好きな型は何型じゃ？

ロボ子

えっと…、私はやっぱりロボット型、ですかね？

博士

ブー！　正解は「理想のタイプ」じゃ！