> The namesake, lambda calculus, doesn't have it (I think?). Lambdas in the Lamb... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tempodox on Nov 20, 2022 | parent | context | favorite | on: Closures and Objects Are Equivalent (2013)

> The namesake, lambda calculus, doesn't have it (I think?).

Lambdas in the Lambda Calculus have to be closures, how else would you build functions of multiple arguments? Think:

  λx.λy.(x + y)

If they weren't closures, `x` would be unbound in the inner lambda.

fulafel on Nov 20, 2022 [–]

Ah, right. And apparently this was a prime motivation to for the first Lispy closures implementation, which was called... Scheme. https://en.wikisource.org/wiki/Scheme:_An_Interpreter_for_Ex...

"we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church]"

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact