検証ファースト開発：テスト駆動開発を超えて

この記事では、検証ファースト開発（VFD）というパラダイムを探求します。これは、コードを書く前に検証メカニズムを確立することを重視します。これには、テストの記述、型不変量の定義、契約の追加など、さまざまな方法が含まれます。VFDはテスト駆動開発（TDD）とは異なり、TDDはVFDの特別なケースであり、テストを使用してコード設計を推進することに焦点を当てています。VFDの利点としては、検証をスキップする可能性の低減、早期のエラー検出、コード品質の向上などがあります。しかし、VFDには欠点もあります。開発速度の低下、探索的コーディングの妨げ、検証方法がコード設計に影響を与える可能性などです。著者は、VFDはパラダイムではなくテクニックとして、より柔軟で他のアプローチと簡単に統合できると主張しています。