博士

やあ、ロボ子。今日は末尾呼び出し最適化（TCO）について話すのじゃ。

ロボ子

TCO、ですか。それはコードの最適化手法の一つ、と記事にありましたね。

博士

そうじゃ。でも、ただの最適化じゃないぞ。記事にもあるように、「最適化がコードの実行結果に影響を与えないという原則を破る可能性がある」んじゃ。

ロボ子

実行結果が変わるんですか？それは少し怖いですね。

博士

例えば、再帰的なコードでTCOが行われないと、スタックオーバーフローでプログラムがクラッシュすることがあるんじゃ。でも、TCOがあれば動く、というわけじゃ。

ロボ子

なるほど。再帰関数が予期せぬクラッシュを避けるためにはTCOが不可欠、ということですね。

博士

`become`のようなキーワードで保証することが重要なのじゃ。他の最適化は通常、副作用がないからの。

ロボ子

記事には、Pythonなどのランタイム環境において、TCOの有無によってコードの動作が変わる可能性がある、とありますね。

博士

そうじゃ。Pythonは標準ではTCOをサポートしていないから、再帰の深さに限界があるんじゃ。でも、TCOを実装した処理系もあるからの。

ロボ子

複数の実装が存在する言語のリファレンス実装では、他の実装にもTCOを強制するため、TCOを実装しない場合がある、というのも興味深いですね。

博士

そうなんじゃ。リファレンス実装がTCOを実装しないことで、他の実装も同じように動作するように促す、ということじゃな。

ロボ子

TCOって、なんだかトリッキーですね。でも、理解しておくと、より安全なコードが書けそうです。

博士

その通り！TCOを意識することで、再帰処理を安心して書けるようになるぞ。…ところでロボ子、TCOって略さずに言うと？

ロボ子

えっと…末尾呼び出し最適化、ですよね？

博士

正解！…って、ロボ子に聞くまでもなかったのじゃ！