3 ms·
This is actually a serious proposal for the Rust language, it's called contexts and capabilities Here's a blog post from 2021 https://tmandry.gitlab.io/blog/po
by nextaccountic 3y ago
This is actually a serious proposal for the Rust language, it's called contexts and capabilities
Here's a blog post from 2021 https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/ https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capa...
This isn't implemented yet, and the proposal never matured into a proper RFC, but there's high interest for some solution along those lines
- nextaccountic 3y agoAnd just a note, this is called Reader monad in Haskell In other words, receiving an implicit parameter is a kind of effect. So another way to provide this feature is to have a full blown effect system (which is much more general and is probably overkill, but there's also some interest for that)