変数名の型がわかった所で、どのようなバグの混入を防げるというのだろうか？
その型が表せる数の範囲だろうか？それくらいしか思い浮かばない。
それくらいではメリットはない。むしろ、邪魔なくらいである。

俺的には,ちょー必要だと思うのだが。