cognitive psychology. PhD 
Static vs. dynamic scoping feels like eager vs. lazy evaluation. One is clearly the correct default, but it's still useful to have support for the other. I see a new dynamic scoping framework everyday under a new name (dependency injection, React contexts, ...)
-
Is dynamic dispatch also a form of dynamic scoping? Even if the name is resolved statically, it just points to another pointer that is resolved lazily.
Resolving methods in an inheritance chain is dynamic scoping. I've written more about that here: http://willcrichton.net/notes/specificity-programming-languages/ … Dispatch is orthogonal to inheritance when viewed as dynamic scoping. Even w/ static dispatch, resolving methods is still dynamically scoped.
