型宣言しなくても、データフローと別名分析で型推論できるわな。
その上、型宣言したところで動的型検査や実行時例外は残る。
そんぐらいなら動的型で書けたほうがマシだね。