ていうか、「型検査は何を検出し、何を排除できるのか？」は、一言で言うと「型の不整合を検出できる」かも＞＜
「型の宣言や設計等が不適切である問題は、それは型検査によって検出できないではないか？」という疑問は正当で、それはその通り＞＜
なので、単純に静的型システムの環境を使う『だけ』で防げる減らせる事は「実行時に起こる型の不整合による想定外の動作」だけとも言える＞＜