Reminds me a bit of this half-thought I posted this a while back, but yeah I dunno: twitter.com/brendanzab/sta 😅
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Quote Tweet
So I was wondering: Is there some dual(?) notion to algebraic effects and handlers? Where you inject handlers rather than executing on reified effects after the fact? I think this might look something like how Clean does effects with uniqueness typing: clean.cs.ru.nl/download/html_ 3/3
Show this thread
1
There was also Effekt that can compile _some_ stuff to capanbility-passing style? Not sure on the specifics though, they have papers on it:
Eg. “Effects as capabilities: effect handlers and lightweight effect polymorphism”
1