全てのバグをコンパイラに発見させるのは不可能としても
型で片付く程度の単純な問題を早期確実に発見することで
ダメージが少なくて済むのがポイントなので、
コンパイルエラー取りに時間がかからないから意味がないのでは？という指摘は
ちょっと的外れのような気がするな