Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Hello! Is there a paper that shows limitations of the "weave" abstraction from "Effect Handlers in Scope" in combination with coroutines ala "Yield"?
i don't think so
i got bitten by this when i implemented it :)
the limitations are, imo, what's left unsaid in that paper
but here is some followup work from wu. presumably they are followups because they address things that didn't work in the earlier paper :)
https://dl.acm.org/doi/10.1145/3209108.3209166 https://dl.acm.org/doi/10.1145/3331545.3342595
Awesome, thank you!
Hello! Is there a paper that shows limitations of the "weave" abstraction from "Effect Handlers in Scope" in combination with coroutines ala "Yield"?
i don't think so
i got bitten by this when i implemented it :)
the limitations are, imo, what's left unsaid in that paper
but here is some followup work from wu. presumably they are followups because they address things that didn't work in the earlier paper :)
https://dl.acm.org/doi/10.1145/3209108.3209166
https://dl.acm.org/doi/10.1145/3331545.3342595
Awesome, thank you!