静的型の型推論って機能はコンパイラが推論して
型が決定できた時に、記述を省略してくれる機能。
だから（推論が）正しいか、推論できないかの2つに別れる。
推論できた時、それは正しい。

だけど動的型の場合、推論は本当に推論でしか無いんだよね。
こうじゃないか？って思いました。コンパイラがいう。

だから、計算機は正しく自動的にやってくれるわけじゃない。
所詮、推論でしかない。