>>516
お前が根本的に間違ってる。

まず動的に型を変える機能はいらない。
正確に言えば、動的に”互換性がない型”に変える機能はいらない
互換性のある型に動的に変える機能であれば、静的言語にも備わってる。

どっちみち、コードは特定の型限定で書いてるんだから
そこに互換性のない型を持ち込んでも動かない。

つまり、動的に型を変える機能は不要であり
静的に型が決まってる言語の方が優れている。
ただし、その欠点として型をいちいち明示しなければいけなかった。
わかりやすく言えば、書くのが面倒だってこと
逆に言えば、書くのが面倒でなければ、静的言語に欠点はない。