ガードレールがあるからといって安全というわけではない、それはそうだけど、ガードレールという製品が一般に安全を目的として作られており、正しく施工したらば世間一般で受け入れられる程度には安全装置として有効であろう、という期待があわけよね。
型検査も同じで、型システムという共通の理論的基盤が人々の目に晒され、実用コードでテストされているからこそ、万全でないにせよ「それなりに役立つし、役立たないシステムは低評価を受ける」という指標が発生する
C 言語なんかは挙げるまでもない一例で、「ないよりマシだが欠陥が多すぎる」とちゃんと酷評されているわけ