We should be moving to actually safe languages. Not just safer languages
What language would you recommend? Or if none qualify what do you think is missing?
There are dozens of memory safe languages, eg. all with a GC. Lisp and .NET comes to mind.