@lispi314 @Suiseiseki @p @jeffcliff @scathach
> It's comparable to a lambda in Emacs Lisp or Common Lisp.
So it's like a closure, got it. I get bogged down in the academically opaque stuff. I'm a hacker, not a CS grad student.

> And so an additional runtime capable of enforcing sane isolation properties becomes necessary.
Unless you're doing pure message passing it sounds like you'd need either a runtime or some hairy control scheme in order to get this to work.

> Nesting environments without arbitrary access to others (via various dynamic/special elements) would be necessary
That's the way it's always been done as far as I know.

https://genode.org/index
Have you checked this out? Seems like it might be up your alley.