Ah, I thought we were talking about the language, not the broader way it fits into everything else. I am familiar with all of this stuff :) I think you may be

Ah, I thought we were talking about the language, not the broader way it fits into everything else. I am familiar with all of this stuff :) I think you may be under-estimating Rust a bit. But that’s fine. Incidentally, you can also get a Rust qualified compiler from AdaCore. I haven’t kept up with what specific standards they’ve qualified it against though.