勘違いしてる静的言語厨いるけど
型推論いくらやったところで
動的に型を変えられないなら、動的言語に近づいてるのは見た目だけで
中身は全然違う別物だからなその型推論て

完璧に型推論やって一切の型をかかなくてよくなったとしても動的言語にはならないよ
動的言語　静的言語　静的型推論言語　　などと分けてもいい