プログラミングでの失敗でも、実行時に取り返しのつかないバグが発生するよりは、ビルド時やコーディングの最中に検査されてそもそも実行できない方が取り返しのつく失敗で済むし、静的型検査素晴らしい＞＜