C and C++ have become non-portable and dangerously insecure, as well as often very surprising to the point that the US government arguing against using them.

I thought their main arguments were to use memory-safe languages. Are you saying the C language can be as safe s go, rust, etc., by language design?  (I don't think you are, but the sentence I quoted kinda implies that, at least to me.)