>>73
> テストするのは、動的言語でも静的言語でもやることだし、

確かにテストするのは、動的言語でも静的言語でもやることだが、完璧なテストっていうのはない。
テストが足りずにバグが入り込んでしまうミスをしてしまうことは有るわけで
安全策は二重、三重とある方がいい。


そもそも、他の型を入れた時にエラーになるか？っていうテストなんて書いているか？
書いていないだろう？ それはテストしてないってことだよ。
引数に想定以外の型が入ることがありえないテストも書いてるわけないな。
ソフトウェアの全部の部分を調べて、引数すべてが正しいことを調べる方法がない。

やってるのは、ある引数や変数に想定通りの型を入れた時に想定通りの動きをする。
というテストだけだろう？ 不正な型がはいることがないことを保証するテストは書けないんだよ。