静的型厨がよく言う
「型整合が検査できればバグのほとんどを発見できる」とか
視野が狭いとしか言いようがない。
バグの過半数は仕様の間違いと仕様の間違った理解が原因だ。