Re: A plan for moving away from pure/unpure et al

On Fri, Jun 5, 2026 at 9:51 AM Han-Wen Nienhuys <[email protected]> wrote:

> On Fri, Jun 5, 2026 at 12:42 AM David Kastrup <[email protected]> wrote:
>
> dynamic scoping has widely been considered a mistake, because it
> breaks encapsulation boundaries, making it harder to reason about programs.
> Why would we want to introduce that?
>

Without wanting to "pile on", I second Han-Wen's observation. I also got
all weirded out
by this notion of functions "magically" know what's going on around. I was
assuming it
was just me not following what you were saying, David, but maybe there's
more there.

"No global data" I think is good guidance. I do realize it's
common practice in scheme to do such things.
But also, it's not exactly a language that has "scaling of source size"
among its known strengths, is it...

L

-- 
Luca Fascione