第一話 階段を上る

コードレビューの指摘が画面に並んでいた。

「ここの型キャストは冗長では」「この関数、戻り値の型が不安定」「nullの扱いが一貫してない」

三年目のエンジニアとしてはそれなりの経験があるはずだったが、言語設計チームへの異動は別問題だった。既に十年以上前に設計された型システムを前にして、私は圧倒されていた。

先輩の田中は言った。「既存のコードベースを見てると、型システムの歴史が見えるんだよ」。確かに、古い部分では緩い型付けが、新しい部分では厳密さが求められている。まるで異なる哲学の遺跡を見ているようだ。

ミーティングでは「後方互換性を保ちながらの改善」という言葉が何度も出た。理想的な型システムを設計することと、実装されたものを保守することのギャップ。そこに私たちの課題があるらしい。

夜間に古い設計ドキュメントを眺めていると、初期の決定がどれほど今に影響しているか見えてきた。単純な選択だったはずなのに、それが積み重なって複雑な制約になっている。

「明日、基本的なことから教えますよ」と田中がメッセージを送ってきた。

私は返信する前に、画面を見つめていた。型システムは単なる技術ではなく、言語哲学そのものだ。そしてそれは、一度決めたら変えられない選択肢が多くある。