>>522
多態が出来るのと多態がバカ避けになるのかは別問題。
動的型付けの言語での多態の利用がバカ避けになるのであればその例を書いてよ。
多態だけで想定していない型の入力をちゃんとはじいてくれる様を実演してみて。

>>523
破壊的な処理ならその処理を呼び出す前に値の検証をするのが当然。
で、その検証はどうやるのさ。
規約で特定の型を要求しているようなAPIを呼び出す場合とか。