The lambda calculus and closures in Groovy

Alonzo Church: Image via Wikipedia

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 lambdas – eg:

More to come…

Related Articles

• Some differences between lambda-calculus and Lisp (2). (kazimirmajorinc.blogspot.com)
• Hacker News | Compiling to lambda-calculus: Turtles all the way down (news.ycombinator.com)
• Some differences between lambda-calculus and Lisp (1). (kazimirmajorinc.blogspot.com)

Advertisement