I think 'best chance' at safe programming is the advances in chip design. I expect PMMU to become more sophisticated and solve more of the memory safety problem

I think 'best chance' at safe programming is the advances in chip design. I expect PMMU to become more sophisticated and solve more of the memory safety problems in hardware than in software. Then, the programming model will evolve and safety features will become more language agnostic and broadly available. Then, I fully expect compiler+runtime+os to evolve to take advantage of these hardware features for software written in any language.