Type inference & hinting at the IDE level is just not as developed either
I used Python and I noticed over the years that things like type interference drastically improved.
Similarly type checker in Rust extension for IntelliJ was lacking even though Rust has superior type system.
Type inference & hinting at the IDE level is just not as developed either