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.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.
I’m… kind of for this, maybe with a slight syntax change, but it’s basically implicit witnesses, I like implicit witnesses (like how OCaml’s PR for them is, not how Scala does them).
