I don’t necessarily disagree, but what you’re saying is commonly brought up as an argument in favor of static typing as well.

The future of software development will look a lot less like Lisp and a lot more like Rust.

There is no singular future of software development. Languages like Python will not be replaced by those with fancy static type systems. It’s only Java and friends who will eventually be replaced by Scala, Rust etc.