The 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 d

The 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.