>>523
> 型がある言語の欠点 :
> 仕様上予期しない型の値が入っていた場合に、問題を見つけ出すまでが一苦労。

今更だけど、こりゃ酷い誤解だなあ。
問題があるから、仕様上予期しない型の値が入ってしまうわけであって、
型無しの言語だと、実行して現象を観察するまで予期しない値が入った
ことすらわからない。なかなか実行されないコードだったらなおさら
わかりにくくなる。
それが、型があると問題があることがコンパイル時にわかってしまうから
格段に問題を見つけ出すのが簡単になる。

問題を見つけ出すのが容易なのが、型がある言語の長所だよなあ。。