I prefer a simple computer language with many real-life alternative compilers, and on the long run: the code will be hardened, where appropriate, because it is not cheap, over time.

And we must not forget that, 100% "safe" high level code should never be trusted to be compiled into 100% safe machine code.