| > What if the computer encoded your knowledge? > Do you even remember every click, every experimental input? > Can you prove that you do? I agree some tests are a good idea depending on the project. Doesn't mean I have to like writing them! > I assume that the code is smart and that my mental simulation of the code, which my brain helpfully and invisibly patches on the fly, is correct. I try not to assume things until I've constructed associated proofs in my mind (and sometimes written them into comments). In fact keeping in mind what you've established (proven) and what not is a very important thing. Most of the bugs I've done are because I've simply forgotten to think about / prove something. It's a completely different way of programming! > Then I make those explicit statements executable. And then I run them frequently. But I prefer to write down these explicit statements in the code itself, often as assertions. I can then prove them right on the spot! |