静的型付けでいうところの型推論は便利なときもあるので良いのですが、暗黙の型変換はだめですね…。奇妙な仕様もあったりするせいでバグが入り込みやすくてつらいです。 あと、結局Pythonでも、自分は少なくとも関数には全部型アノテーションをつけちゃうので（入出力の型を書いてから処理を書く手癖があるので）、これだったらC++でええやん…（C++が良いとは言ってない）となったりします。