Primitives in Generics

[Pavel Minaev]

On Fri, Jul 9, 2010 at 2:23 PM, Neal Gafter <neal at gafter.com> 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?