3 ms·
Follow-up by Russ Cox: https://research.swtch.com/name https://research.swtch.com/name.
by sctb 8y ago
Follow-up by Russ Cox: https://research.swtch.com/name https://research.swtch.com/name.
- theoh 8y agoThe lambda calculus has got to be one of the worst notations in CS. It's taught as if it was a timeless given, when the reality is that the men who defined it didn't care about how easy it would be to read or learn. They were only interested in deeper mathematical issues, so the lambda calculus syntax is just a minimum viable tool.