Primitives in Generics

Pavel Minaev int19h at
Fri Jul 9 14:38:49 PDT 2010

On Fri, Jul 9, 2010 at 2:23 PM, Neal Gafter <neal at> wrote:
> "closures" is slang for lambda expressions, which means lexically-scoped
> function-valued expressions.  Unfortunately, what is Brian is now calling a
> lambda expression is neither lexically scoped nor function-valued.

Pragmatically, "closures" is slang for "those cool function-like
things like in JS/Ruby/C#/...". Few programmers in the wild are
actually interested in conceptual purity. It doesn't matter if some
bits are not "properly" lexically scoped, if all (or even most) of
those that matter are.

By the way, why do you say that the proposed lambda expressions aren't
function-valued? Is that because they don't have an expressible type?
If so, then do you imply that C# lambdas aren't closures, either?

More information about the lambda-dev mailing list