型駆動開発？テストコードを減らせるかもしれない個人的に注目のアイディア · 株式会社クラフトマンソフトウェア開発していると、○○駆動開発という言葉をよく耳にしますね。 テスト駆動開発、モデル駆動開発やReadme駆動開発などいろいろあります。 今日、紹介するのは「型駆動開発」です。英語でType Driven Development。 型駆動開発って何？ Maciek Próchniak氏によると、型駆動開発とは一言で、テストコードでチェックしている部分をコンパイラで行うという開発スタイルだそうです。 確かにコンパイラでバグが見つけられれば、テストコードを書く手間もないですし、 テストコードはビルドするときに実行し忘れてしまったら問題があっても気づけないですが、 コンパイルは実行前に必ず走るので、チェック漏れも減りそうです。 コンパイラがあれば手軽に始められるのも良さそうですね。 型駆動はバグを防ぐ方法のひとつ 同氏によると、型駆動開発以外でバグを防ぐ方法は 防衛的プログラミング 契約プログラミ
