As I understand it, there’s a difference between dynamic scope and implicit parameters. Implicit parameters don’t escape the lexically defined call stack, makin

As I understand it, there’s a difference between dynamic scope and implicit parameters. Implicit parameters don’t escape the lexically defined call stack, making it much easier to reason about. The idea is also to tie it together with a static compiler that checks everything fits together.