静的型言語は、テスト時に静的解析が比較的やりやすいのが重要。
コンパイル時に型チェックが行われるのも、その一部と考えていい。
動的型言語は実行してみるまで何が起きるかわからないので、
コーディングの記述量が減っても、きっちりテストをしようと思うと、テストケースが膨れ上がってしまう。