Experiment with naming rules in your favorite programming language. Read the manual, and write and compile some test programs. Does the language use lexical or dynamic scoping? Can scopes nest? Are...

Experiment with naming rules in your favorite programming language.

Read the manual, and write and compile some test programs. Does the

language use lexical or dynamic scoping? Can scopes nest? Are they open

or closed? Does the scope of a name encompass the entire block in which it

is declared, or only the portion after the declaration? How does one declare

mutually recursive types or subroutines? Can subroutines be passed as parameters, returned from functions, or stored in variables? If so, when are

referencing environments bound?