>>800
catchの時点で未到達・未初期化の変数の場合はnull扱いにするような
仕様にしろってことかな？
全ての変数が参照型の言語なら、まあそうすることも可能だろうな

ただ、一般論として「実際に使用する範囲よりスコープが広い」のは
むしろ関数スコープの言語だぞｗ
実際JSにはブロックスコープが無いから、無名関数が代用によく使われている
(function(){...})()
みたいな涙ぐましいやつな