型がある言語の利点 :
プログラマが変数内に格納されている値についての型変換処理を記述する手間が省ける。
型がある言語の欠点 :
仕様上予期しない型の値が入っていた場合に、問題を見つけ出すまでが一苦労。

変数(というかメモエリア上に)にどんな種類の値が入りうるのかを、
プログラマがきちんと意識しておかなくてはならないのは、
どんなプログラム言語でもいっしょ。
その中身を使う時には、「どんな型の値が入っているのか」を考えなくてはいけない。

プログラムを解析する際に、型がある言語の場合なら
あらかじめ入りうる値の型を、変数の宣言と定義を見るだけで
把握可能だが、もし型がないと、最悪その変数の値を使用する
処理ロジックまで追っかけなくてはならなくなる。
数十行の程度のスクリプト言語での記述なら、
追いかけるのもさほど苦労はないだろうが
これが数千行や数万行のプログラムだったとしたら・・・

#「型の有用性」をきちんと意識して、それでもあえてVariant型のような
# 汎用型を使っているVBプログラマばかりだったらいいんだが。
# 保守性や可読性に頭が回らない「ぱーぷープログラマ」がこれを使って
# 書き散らしたプログラムを保守しなければならなくなった場合のことを
# 考えると鬱になる。