Type inference is going forwards not backwards. Languages with "modern" type systems (Haskell, Ocaml, Rust, Swift, etc) have had inference from the start and it doesn't compromise type safety. There's a big difference between dynamically typed and type inferred. Haskell, for instance, was designed to have globally decideable inference (you don't have to write any type signatures if you don't want to), while still being completely type safe. Type inference is a wonderful thing, and I'm glad 'maintstream' languages are getting it. Albeit 30 years later...
I don't think the parent disagrees. Type inference is great for just about everything except dependant types which are all kinds of undecidable unless you help the compiler.
Could have been a lot sooner if the languages that first implemented type inference also focused on the more pragmatic aspects of programming. 'Type inference' is a small consolation if the tooling and ecosystem are impoverished and you can't find affordable developers. :)