3 ms·
the only programmers who are concerned with proofs are located in universities and are writing theses, which are statistically 0% of programmers overall progra
by preseinger 4y ago
the only programmers who are concerned with proofs are located in universities and are writing theses, which are statistically 0% of programmers overall
programs are recipes, not proofs. "for 10 times, do this" is in almost all cases trivially easier to understand and maintain than a recursive alternative. this isn't controversial in any way