I think we have 30 years’ experience that clearly shows that dangerous languageswill be misused in critical areas, even if most of us are very careful.
I am convinced that a safe language with very tiny holes allowing access to dangerous stuff (like memory management in the kernel) is simply safer. Clearly, we are no where near that right now.