> テスト後に型エラーなんて見ないからさ

それはテストが完璧な場合の話。

世の中に完璧なテストが行われている
プロジェクトがあるのか？
テストが完璧ならバグもないはずだが。


結局、人間ががんばらないといけないものは完璧にはならない。
だから機械（コンパイラ）にさせるんじゃないか。