>New classes of bugs will eventually emmerge, some partly unfixable by software solution.
Sure Rust, ADA and such don't remove all classes of bugs, but they can reduce the attack surface considerably, giving you more time to focus on the remaining security bugs.
And maybe people will invent software solutions that reduce the attack surface even more.
Assembly is a fast car with no security features. C is a sportscar with a seatbelt. Rust is a sportscar with a seatbelt, airbags, ABS, ESC and emergency breaking.
Of course you can still crash and die, it's just that you're less likely to do so.
I know what you mean, however I think C did bring down the amount of bugs compared to assembly, just by making code easier to read and higher level abstractions available.
Sure Rust, ADA and such don't remove all classes of bugs, but they can reduce the attack surface considerably, giving you more time to focus on the remaining security bugs.
And maybe people will invent software solutions that reduce the attack surface even more.
Assembly is a fast car with no security features. C is a sportscar with a seatbelt. Rust is a sportscar with a seatbelt, airbags, ABS, ESC and emergency breaking.
Of course you can still crash and die, it's just that you're less likely to do so.