減らない分岐は、指示ではなく型のせいだった

型システムが状態遷移を許容すると、コーディングエージェントはそれらを処理する分岐を生成する。この分岐は指示だけでは減らず、レビューコストを増大させる。判別共用体への移行が解決策となる。

• AIが生成するコードの分岐が増加する原因は、指示不足ではなく、型定義が不正な状態を許容していることにある。
• 型定義を改善し、実際に起こりうる状態のみを表現することで、不要な分岐コードの生成を防げる。
• 判別共用体（discriminated union）の活用や、外部入力の境界でのパースが有効な手法として挙げられている。
• 型システムを厳格化することで、レビューで確認すべきコードの量を減らし、開発効率を向上できる可能性がある。