シニアエンジニアは、事前に明文化されたことではなく知識と経験に基づく判断とレビューでコード品質を担保してきた。e.g. 「ここ null チェックいる」「このケース漏れてない？」

エージェントは、シニアエンジニアが持っている明文化されてない知識と経験をコンテキストに持てず、レビュー内容を内面化できないため、同じレビューを何回もせなあかん。

Subagents や Skills でルールを伝えることもできるんやけど、型で伝えてコンパイラが決定論的に強制した方がより意図通りのコードが生まれやすい。

考慮漏れを実装前の型設計に組み込むことで、エージェントに意図を正確に伝えることができ、エージェントはコンパイルによってミスを防ぐことができるようになる。

具体的な型の例:

• 想定外の状態は型で表現できなくする
• 期待されるエラーは値で返して網羅的に扱う