4 ms·
> You can write safe C, if you are careful In practice this pretty much cannot be done unless you use a formal verification framework, which almost no one does
by MaxBarraclough 5y ago
> You can write safe C, if you are careful
In practice this pretty much cannot be done unless you use a formal verification framework, which almost no one does. Even the most well-resourced projects written in C tend to have trouble with low-level bugs. Same goes for C++. Both the Linux kernel and Chromium have plenty of these issues.
- giomasce 5y agoMy comment seems to have sparked a lot of reaction about safety, but that wasn't the main point. The main point (and the one OP talks about) was about conciseness, and I can't really see how C can be considered a concise language.
- MaxBarraclough 5y agoAgreed. C is more concise than assembly, but it's highly verbose compared to most modern languages. C++ can sometimes be a good deal more concise.