動的型付け言語の機能は、冗長にはなるが
本質的には静的型付け言語でできないことはない。

だが、逆に静的型付け言語でできる、静的検査は
動的型付け言語ではどうしてもできない事がある。