4 ms·
Algebraic effects is a fantastic type system feature that needs to break into mainstream ASAP.
by simplify 4y ago
Algebraic effects is a fantastic type system feature that needs to break into mainstream ASAP.
- u320 4y agoI agree but Rust is extremely unlikely to go in this direction, even though it is a pretty good fit.
- satvikpendem 4y agoThey're already working on keyword generics which is a limited version of this.
- u320 4y agoI don't think anyone would describe their proposal as a limited version of algebraic effects. It's missing the algebraic part for one thing.
- satvikpendem 4y agoThat's how the authors describe it, in general terms at least: https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-generics.html#q-are-you-building-an-effect-system https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-ge...
- yoshuaw 4y agoWhen 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.
- pjmlp 4y ago?with ?lots ?of ?interesting ?syntax.