>>832
> それが危険だというなら、問題の本質は if の危険性であって
> 静的型付けは対症療法の一つにすぎない

いや、問題の本質がどこにあるかは大して重要じゃないんだよ。
問題を解決するための糸口の一つにはなるかもしれないけど、
一番重要なのは、問題を解決するための方法として何が挙げられるか。

１．静的言語を使う。
２．ミスが無いように人間がひたすら頑張る
３．実行前にミスを無くすことは諦め、実行フェーズ以降に問題解決を先送りにする。