回答編集履歴

  1.を許容したとして、初期値を設定しなくても必ず0で初期化されることを保証するという言語仕様を考えてみます。さてプログラマーがバグのないプログラムを書いて、変数の値を0でない値に初期化するとしましょう。その場合、必要もないのに0で初期化されるということはそれだけ無駄な代入文を実行することを意味するので、無暗に実行速度を落とす要因になってしまいます。

  ただしインタープリタ言語の多くではそういう仕様もあります。Visual Basicなんてのはそうですね。

  Dim a as Integer