Exactly. I read this: Ergo, dynamically-scoped variables are shadowable side-channels that can influence the behavior of a function And thought that is e

Exactly. I read this: Ergo, dynamically-scoped variables are shadowable side-channels that can influence the behavior of a function And thought that is exactly why not to use dynamic scoping. It makes every function impure by default.