3 ms·
Nice, I was always turned off by the YC explanations I found, but this did the trick. But the questions that's really not answered is: Is there anything useful
by ced 19y ago
Nice, I was always turned off by the YC explanations I found, but this did the trick.
But the questions that's really not answered is: Is there anything useful for a programmer in pure CS, excluding AI? Does the ability to follow the gory papers at lambda-the-ultimate make you a better programmer (even if it is only for some obscure application)? Should I really spend a day getting intimate with the Curry-Howard isomorphism?
- mxh 19y agoI suppose it depends how much you're into formal methods, etc. The YC, for instance, was developed (if memory serves) to obviate the need for assignment WRT recursion, because assignment makes it much harder to reason about programs. In principle, CS theory can help you prove that programs are correct; Dijkstra was big on this.