本音を言えば型宣言を省略できる言語はあんまり最初の言語として教えてほしくないんだけど。
型はプログラミングにとって超大事だからね。