The closest to that is Mojo and borrows many of Rust's ideas, built in type safety with the aim of being compatible with the existing Python ecosystem which is great.
I've never heard a sound argument against Mojo and continue to see the weakest arguments that go along the lines of:
"I don't want to learn another language"
"It will never take off because we don't need another deep learning DSL"
"It's bad that a single company owns the language just like Google and Golang, Microsoft and C# and Apple and Swift".
Well I prefer tools that are extremely fast, save time and make lots of money, instead of spinning up hundreds of costly VMs as the solution. If Mojo excels in performance and reduces cost then I'm all for that, even better if it achieves Python compatibility.