3 ms·
> it is exceedingly hard to know that there are no mistakes But that's true of all software, no matter how well engineered. Usually when we discuss issues of
by commandlinefan 6y ago
> it is exceedingly hard to know that there are no mistakes
But that's true of all software, no matter how well engineered. Usually when we discuss issues of code quality, we're looking at long-term maintainability and overall efficiency - that is, targets that are achievable. I'd love to see some effort toward quality metrics around provability of correctness, but I'm not even sure that's possible.
- Nursie 6y agoWithout formal provability, yes, it's impossible to know there are no mistakes. Even then as most formal methods appear to operate on rules and requirements rather than on the actual code, it's still not possible. However - with well formatted code that's had a review process of some sort, it's going to be easier to cut down on the glaring errors even if there are less obvious problems lurking.