型推論っていうのは、
変数から型情報をなくしましょうではなくて
型情報が推論で決まる所は省略できますってだけだからな。

実質型を書いているのと同じなんだよ。
冗長な記述をなくしただけ。シンタックスシュガーと同等のもの。

動的型付け言語は、変数から型情報をなくして
実行時の値で判断しましょうという考え。
だから根本的に違っている。