3 ms·
I agree. Programming is an applied form of constructive logic. A program that works is an example (existence proof) that its specification (a theorem) can be fu
by evincarofautumn 11y ago
I agree. Programming is an applied form of constructive logic. A program that works is an example (existence proof) that its specification (a theorem) can be fulfilled (proven). When we review code, we’re generally trying to disprove—looking for ways in which the program doesn’t fulfill the specification.
- erikpukinskis 11y agoIf that's true you're missing lots of opportunities to strengthen good behaviors and ideas.
- evincarofautumn 11y agoI removed all the hedges from my comment. Apparently that was too much. I agree with you too.