Free vs Bound?

How can you tell if a variable identifier is free or bound in a statement?

Foo = proc {$ List Count Length ?Res}


Do they have to be declared and called  to be bound? What about a function? If I set something like R = Foo{ blah blah blah blah} is R bound?

what is this I don't even

>>2
Variable scoping in declarative programming?

>>3
Yes you uneducated nigger.

Have you read your CTMCP today?
Simply speaking, when considering the code in a certain scope, an identifier is bound if it is declared within that scope.
If an identifier is used but not declared in the scope, it is free. To make a valid program, it must be declared in an outer scope.
It's not in general a terribly useful thing to think about, except in the context of closures.

>>5
Yeah that's the book I have. I can understand most of the examples in the book, but there aren't many, and the ones I have in my problem set are more complicated and I am getting lost.