I recently worked out a promising idea with Niko Matsakis and Yoshua Wuyts to solve what I’ll call the “context problem” in Rust. The idea takes inspiration from features in other languages like implicit arguments, effects, and object capabilities. While this is very much at the early stages of development, I’m sharing it here to hopefully get more perspectives and ideas from the Rust community. The problem Very often in programming we find ourselves needing access to some context object in many places in our code.

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:

Rust Programming
!rust@lemmy.ml
Create a post
  • 0 users online
  • 3 users / day
  • 19 users / week
  • 76 users / month
  • 191 users / 6 months
  • 3 subscribers
  • 231 Posts
  • 484 Comments
  • Modlog