分かった。考え方の違いだ。

メソッドを間違った使い方をした時、

間違った使い方をしたというエラーが表示されへんな状態にはならないのが、静的型付け言語
間違った使い方をした人が悪い、状態は不定になるってのが動的型付け言語

ということは、堅牢性をもとめるなら
やっぱり静的型付け言語の方がいいってことなのかな。

動的型付け言語でもちゃんと型チェックすればいいんだけど、
そうすると静的型付け言語よりも面倒になるから意味がなくなる。