動的検査を加えて健全性を担保するのは理想ですが、 現実的には
- 単に手間がかかる
- 実際に起きるバグはバイナリの垣根で起きやすい（OSの更新、ブラウザ動作のエッジケース、ライブラリの更新など）
- 先方互換性が低く、変更に弱い（バイナリを出荷するモバイルアプリや、互換性を壊したくないライブラリなど）