New blog post: Context and capabilities in Rust
tmandry.gitlab.io/blog/posts/202
13
69
261
Conversation
This Tweet was deleted by the Tweet author. Learn more
it’s been a bit since I’ve done haskell stuff, but I feel like the haskell-y answer here is generic monad transformer stacks that different functions can pull what they need out of
1
1
Yeah, MTL is one approach to abstract this even more using constraints to pass the 'contexts'. There are other options, like algebraic effects that can be implemented using free monads, or ontop of monad transformers, or using delimited continuations like in Hasura's Eff library.
1
Interesting challenge is avoiding overhead. Koka is making strides in this, but Effekt might be closer to what Rust might be after, which tries to pass the effect constexts as function parameters under the hood: