None of that is going to save us from bad code.
Some of the biggest systems that run the world are not written with either safe code nor strongly typed languages.
Yes I would say strongly typed languages and memory safe languages help make coding easier and indeed save time and some bugs.
But when you get past making the kinds of errors that cause memory problems or bad types…
You are still left with 95% of the bugs and logic errors anyway.
Still, 5% savings in productivity is not nothing.