3 ms·
When asked "How do you debug programs?" my Programming Languages professor responded, "I don't. I prove every line correct before I write it."
by mathattack 9y ago
When asked "How do you debug programs?" my Programming Languages professor responded, "I don't. I prove every line correct before I write it."
- wslh 9y agoThis can be done in the context of algorithms but not in professional programming in general. Software has dependencies with zillions of components. If you want to formal proof everything, the software field would move like a turtle, with wisdom but very slow.
- mathattack 9y agoI hear you. The general reaction of the class was, "Thank you for nothing." The real world is different.
- empath75 9y agoGood, now do that on a deadline, with python.
- Turing_Machine 9y agoYep. Try that in the business world and your competitor will iterate five times while you're still working on your prototype, and your milkshake will have been drunk, digested, and excreted.