2 ms·
If you want a more approachable model of context than effects, try "dynamic scope". (and remember there are good reasons we try to do as much as possible with
by 082349872349872 3y ago
If you want a more approachable model of context than effects, try "dynamic scope".
(and remember there are good reasons we try to do as much as possible with lexical instead)
- andyferris 3y agoAs 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.