Pre-RFC: typed context injection

[jplatte]

This sounds to me like a less general version of this older idea:

Blog post: Contexts and capabilities in Rust

Comment thread for my post, Context and capabilities in Rust. What if Rust code could instead declare the context it needs, and the compiler took care of making sure that context was provided? This general concept is addressed by a few different approaches in other languages: Dependency injection Implicit arguments Effects The approach proposed here works like implicit arguments, with some syntactic and conceptual similarities to effects in other languages that make it both more convenient…