仕様を満たした型を定義することで、必要なtestの量を減らす
Entityなどのアプリケーションのコア部分を、できるだけ
Type Level Domain Modeling
して型でガチガチに表現すれば、自動的に仕様を満たせるので、そこに関するtestを書く必要がなくなる
test codeを減らす工夫
/mrsekut-book-97816805025/125
詳細が書かれているわけではないが、軽く触れられている
If we do this properly, invalid situations can't ever exist in the code and we never need to write unit tests for them. Instead, we have "compile-time" unit tests.