>>343
> 動的型言語は型検査などなくても型安全を確保できているんだよ。

じゃあ、TypeAしか入れられない型にTypeBを入れて
それでどうやって静的に(実行せずに)型安全性を確保しているか教えて。

実行して落ちるのは型安全じゃないからねw