> だから、型が重要なら、型チェックをすればいいだけだろ

だからコストの問題。
静的解析にコストはほとんどかからないから
静的言語の単体テスト＋静的解析はコストが同じで
単体テストだけの動的言語よりも高い品質になる。