Nested Subprograms and Static vs. Dynamic Scoping

This video demonstrates both the semantics and implementation of both static and dynamic scope in languages with nested sub-programs. First, an example of static scope with nested sub-programs in Python is provided. Then, a single Common Lisp program is analyzed using both dynamic and static scoping rules, since Common Lisp supports both. The use of static and/or dynamic links within activation records on the call stack is also shown as an approach for implementing either type of scoping rules.