How is C/C++ any better? It's just has a different set of problems than the languages you mention. Type checking does not solve every problem or magically make everything secure. I'd wager the vast majority of serious security vulnerabilities are in code written in C/C++. The next step is usually to push Rust as a solution for a subset of the problems that C/C++ enables. Yet that doesn't solve everything either. As an example, what in Rust would prevent a SQL injection that opens up a huge security hole, exposing sensitive data, etc. Sure there are solutions like pass everything though a prepare function, but what really prevents you from bypassing that? I don't know what actually would solve everything... mathematical proofs that the code is actually correct, safe, and secure on all pathways including validating input and output in all embedded languages and markup? Maybe if AI could do that we'd be onto something.