ていうか、動的と静的の違いはつまり実行前に行うか、実行時に行うかの違いなので、たとえば「動的環境でも、主目的のコードを一切動かす前に全て型検査するコードを確実に走らせれば検査できるよ！」とか言い出したら、「それ、静的検査の再発明じゃん・・・＞＜」だよね感＞＜