There are domains where things like Ada SPARK are (or were) the standard. I’m not sure that’s really necessary for everything, but for those other things it wo

There are domains where things like Ada SPARK are (or were) the standard. I’m not sure that’s really necessary for everything, but for those other things it wouldn’t hurt to use a memory-managed language. But that’s already mostly the norm there, too. I think the real subject being discussed here is the viability of Rust for applications which are traditionally a good fit for C and C++. I think it would be better to be specific about that.