They're already working on keyword generics which is a limited version of this.

I don't think anyone would describe their proposal as a limited version of algebraic effects. It's missing the algebraic part for one thing.

That's how the authors describe it, in general terms at least: https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-ge...

When I wrote that I didn’t really understand the difference in terminology between “effects”/“effect types” (e.g. keyword-based modifiers on functions and types) and “effect handlers” (e.g. typed co-routines).

Many effectful languages have both, so teasing them apart can be confusing. I think I can now more comfortably say that what we’re working on is an extension to Rust’s effect system. This has nothing to do with effect handlers.

?with ?lots ?of ?interesting ?syntax.