Tag: Lambda calculus
-
The lambda calculus and closures in Groovy
No sooner had I written about the lambda calculus and Structure and Interpretation of Computer Programs than I sat in a lecture on closures in Groovy and was presented with a structure like this (which multiplies two numbers, in this case 3 and 4): Which immediately reminded me of one of Alonzo Church‘s formulations of…
-
Coming up… the lambda calculus
Another thing that The Annotated Turing taught me is what all those lambdas that I have seen over the last 25 years were about, or at least it introduced me to what they were about. So I have just ordered a copy of Structure and Interpretation of Computer Programs: and I can guess that some…
cartesian product ... stuff about computing mostly 