> According to research, up to 850 billion lines of COBOL code are currently running in nearly 30,000 organizations, typically in critical production environments. 90 percent of Fortune 500 companies rely on it. Never has there been this much COBOL in circulation and the volume is only likely to increase for the foreseeable future.
https://www.chrly.pt/en/2023/06/14/cobol-the-immortal-langua...
E.g. at one end of the spectrum you have Python where you have to write explicit tests for typos and type errors.
At the other end of the spectrum you have formal verification languages like Dafny that may not require any tests to be written.
Rust is somewhere in-between. It has a very strong type system and lots of features that make memory errors and business errors less likely than in most other languages. You still need some tests, but not as many as with C/C++, Python, JavaScript, etc.
It's much more feasibly to be secure by construction.