4 ms·
You can formally prove that a function always does exactly what the author intended, no less, no more. But it still might be the wrong thing to do. The question
by jusssi 5y ago
You can formally prove that a function always does exactly what the author intended, no less, no more. But it still might be the wrong thing to do. The question is, do you count that as a bug or something else.
- junon 5y agoThat's moving the goalposts, and not the point originally being made nor the point I'm addressing.