> 動的型付き言語に静的型チェックを入れれば出来ることを
> 「どうしてもできない事」とはこれいかに。

それやってしまったら、静的型付け言語になるんだよ。