Conversation
I wanted algebraic effects and handlers. Instead all I got was DI. 🤪
1
2
Effects and handlers allow you to do similar stuff to DI (actually quite similar to aspect-oriented programming). They are pretty much accepted as a given in most PL conferences these days - but still need some stuff to be figured out. So at least we have this nice crate!
1
1
Need good, guaranteed fusion of handlers like iterators enjoy in Rust before they are viable for a Rust-like language. The future is exciting though!
Replying to
do you have good examples of this? I have to admit I’m not familiar with effects and handlers, although I’ve noticed recently more and more haskell devs talk about effects
1
1
I'll see if I can dig some up. As horrific as this sounds, think: "generalised exception handling". Effects are treated as things that you 'throw' and are handled somewhere else, potentially throwing new effects. All tracked in the type system.
2
1
Show replies