No, rebutting that was exactly my point: programming is, in some ways, a friendlier version of working on mathematical proofs, in that the compiler will tell you when you &quot;did something you were not supposed to do.&quot; Programmers expect to be able to hack away like monkeys on typewriters, and just run into a virtual wall whenever they misstep. Compilers will error out when a programmer explicitly types &quot;0&#x2F;0&quot;, and that&#x27;s a good thing. It&#x27;d be a good thing in the other cases, too.