Contexts and capabilities in Rust - Tyler Mandry

What if Rust code could instead declare the context it needs, and the compiler took care of making sure that context was provided?

This is by far the most exciting reading I have had in the Rust ecosystem lately. Follow up and comment posts:

• https://jam1.re/blog/thoughts-on-contexts-and-capabilities-in-rust
• https://haibane-tenshi.github.io/rust-contexts/