>>522
> 動的に型を変える事によって、ポリモフィズムがいらなくなる

ポリモフィズムというのは考え方。
共通のメソッド、プロパティを定義して、
特定の型を入れ替え可能にしましょうっていうのが
ポリモフィズム。

動的に型を変えたからって、その型に共通の何かが
なければ、入れ替え可能にはならない。落ちるだけ。

その共通の何か（インターフェース）をコードの中に明記しましょう。
コンパイラもそれを知っているので効率いいし、エラーも見つけやすい静的言語の利点で、

動的言語だと、コメントで必要なメソッド等を書いてもコンピュータは参照しない。
つまり、それを読んで人間が、コードよめ。ひたすら人力で頑張れ。というデメリットになる。