>>706
> 静的型付け言語には動的型付け言語の機能を
> 取り入れられるがその逆はできない。

逆だよ。
動的型付け言語には静的型付け言語の機能を取り入れることが出来る。
型アノテーションや型推論が好例。

しかし静的型付け言語に動的型付けの自由度を取り入れることは困難だ。
なぜなら、静的型付け言語の表現能力は、静的型の検証性に依拠しており、
動的型付けで表現可能なプログラムの集合を完全に被覆することはできない。
理論上不可能なんだよ。