なんかね、型推論を、動的型の機能だって
勘違いしている人がいるのよ。

「明らかにその型と断定できる場合に書くのを省略できる機能」なのに
型を書かない＝動的に型を判断していると勘違いしてるらしいのね。