cognitive psychology. PhD 
New blog post: Context and capabilities in Rust https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/ …
-
IMO the closest comparison is dynamically scoped variables. Eg if you use the fluid-let crate (https://github.com/ilammy/fluid-let …), your code looks like: // main fluid_set!(ARENA, BasicArena::new()); deserialize(...) // deserialize let arena = ARENA.get().unwrap();
The difference, of course, being that this is all checked at runtime. Pushing dynamic scope into the type system is a great idea!
