型契約書を SSoT にする — TDDD（型定義駆動開発）

型システムを仕様書と実装の間の仲介に活用し、機械が検査できる「型定義駆動開発（TDDD）」を提案。実装前に機械可読な契約（型の契約）を宣言し、実装後に突き合わせる開発手法について解説している。

• TDDD（型定義駆動開発）は、実装前に機械可読な型契約を定義し、コードの意図や制約を明確にする開発手法である。
• 型契約書は、型の構造、役割、種類などを宣言し、自然言語仕様と実装の間のギャップを埋める。
• 順方向・逆方向の突合により、実装が型契約に従っているか、余計な型が紛れていないかを機械的に検証する。
• Rust言語での実装例を基に、型契約書の内容や開発プロセスにおける位置づけを解説。
• LLMによる実装の雑音を低減し、アーキテクチャやコーディング規則の遵守を確実にするためのアプローチを提供する。