> まっとうな静的型付け言語であれば、動的結合時の型検査やcaseの網羅性検査は、
> コンパイル時に(静的に)実行されるのが当たり前

まっとうな静的型付け言語の例をあげてください。