>>560
わからないときは暫定的に適当な型を決めておいて、やってる途中で
型を変えたくなったら、ソースコードを変更すれば良い。

で、変数の型無しな言語だったらソースを変えなくて良いかって言うと
そうでもない。
だって、いくら変数に型の無い言語でも、ある特定の関数の引数には
扱えない型の値と扱える型の値があるんだから、型にあわせた関数に
変えなくちゃいけないからね。
変数に型の無い言語には、引数の型によって処理を変えてくれる関数って
のもたしかにあるけど、それは型あり言語のポリモーフィズムと全く
同等でしょ？
ま、確かに型有り言語の方が最初から受け入れる型を狭めやすいコードを
書いてしまいやすいってのはあるけどね。テンプレートとか継承とか
面倒だからね。

で、変数に型の無い言語の利点て、そういうのよりも、柔軟な言語仕様
にあると思う。特異メソッドとかね。