3 ms·
"There are those who tell us that any choice from among theoretically-equivalent alternatives is merely a question of taste. These are the people who bring up
by waterhouse 1y ago
"There are those who tell us that any choice from among theoretically-equivalent alternatives is merely a question of taste. These are the people who bring up the Strong Church-Turing Thesis in discussions of programming languages meant for use by humans. They are malicious idiots. The only punishment which could stand a chance at reforming these miscreants into decent people would be a year or two at hard labor. And not just any kind of hard labor: specifically, carrying out long division using Roman numerals." — Stanislav Datskovskiy
- godelski 1y agoNo one is suggesting programming with lambda calculus. But it would be naïve to think lambda calculus isn't important. They serve different purposes. We didn't: bring up the Strong Church-Turing Thesis in discussions of programming languages meant for use by humans.