>>701は、字句解析と構文解析の区別がついていないと思われる也
で、変数の宣言を必要としないのは、デメリットの方が大きそう。
ということで、

１、型を変数と同時に宣言する、このときany型のような宣言が出来る。
２、型は宣言しない、特に型を強くしたい変数のみ、型を宣言しとく。
３、型は最初の代入で決まる、以降は型チェックが実行時に行われる。
４、宣言は３と同様、実行前に型推論でチェックされる。

などいろいろありそですが、話、もとにもどりそうですか？