free and nonlocal variables

[Jussi Piitulainen]

Nobody writes:
> On Thu, 21 Mar 2013 01:52:17 -0700, bartolome.sintes wrote:
> 
> > In Python 3, "free variable" and "nonlocal variable" are synonym
> > terms?
> 
> "Free variable" is a computer science term. A variable is free if it
> is not bound. E.g. x and y are free in "x+y", x is bound and y is
> free in "lambda x: x+y", x and y are both bound in "lambda y: lambda
> x: x+y". IOW, a variable is free in an expression if the expression
> doesn't include whatever created the variable.

And in (lambda x : x)(x) + x below, x occurs both free and bound. The
free occurrences are bound by the outer lambda.

   >>> (lambda x : (lambda x : x)(x) + x)(3)
   6