7 ms·
Coding using mathematical proofs only works if your problem is defined at a similar level of rigor. That sounds obvious when stated so simply but I think it is
by nas 13y ago
Coding using mathematical proofs only works if your problem is defined at a similar level of rigor. That sounds obvious when stated so simply but I think it is the major downfall of formal coding methods. Depending on the field, business software seems to be the worse, defining the problem seems to be more than half the battle.
- srean 13y agoIt sounds pejorative when stated this way, but there is algorithmic/scientific programming and then there is plumbing. Different techniques are effective for the two. Plumbing is non trivial, you realize it only when you have to do it yourself. What I see among many plumbers is the notion that the world of algorithmic programming does not exist ("I dont give a $#@! about big Oh, algorithms are entirely unnecessary, I dont even know what quicksort is and I dont care LOL"). Similarly the other camp trivializes the act of plumbing. Neither do our craft any favors.