I'm very surprised to see that Ada was not mentioned in this article despite the fact that they brought up rust noting that it hasn't been proven in space while Ada actually has.
They already had a incredibly readable memory safe language since the 80s.
My first job was in Ada and by then our customer put a clause allowing C to be introduced where it Ada was difficult to introduced. In our case the Issues with Ada was the poor support of the Ada compiler vendor. The kind of granularity on type definitions in Ada is superb. The type checking was slow. A type can be defined with the number of bits and the range during declaration which makes compilation slow.
They already had a incredibly readable memory safe language since the 80s.