3 ms·
Correct with respect to what? The answer to, does your code do what you expect it to? is pernicious and difficult to answer if you're not writing specification
by agentultra 6y ago
Correct with respect to what?
The answer to, does your code do what you expect it to? is pernicious and difficult to answer if you're not writing specifications, at a certain scope of complexity.
- hinkley 6y agoParallel to a quote from Tony Hoare's Turing award speech, I find it helpful if the code does what it says it does first. You can hide a lot of bugs (including from yourself) by having the code that works quite differently than you would describe it. It's better if you rearrange the code the way you would describe it (and then you don't have to describe it at all).