>>493
それだけで満足じゃないなら、コンパイルして通ればもう安全、
じゃないってことだよね？
安全なプログラム書くためにはテスト必要だよね？
テスト書くんだよね？書いてるんだよね？

で、型エラーはテスト実行時に見つかるよね？
何が問題なの？