2 ms·
Can't say about Cobol, but Ada is actively developed, actively used, and has one of the best provable correctness toolsets/extensions in the industry: https://e
by nine_k 2y ago
Can't say about Cobol, but Ada is actively developed, actively used, and has one of the best provable correctness toolsets/extensions in the industry: https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)
- Jtsummers 2y agoCobol also has a recent standard update (2023). It's still not popular outside of its niche, but the people using it aren't just sticking with ancient versions (though they also do that).