Sam Lindley
Sam Lindley
The design outlined above is similar to that of effect handlers in Multicore OCaml. In practice, the overhead of implementing a range of abstractions from generators to lightweight threads to...
Typos in the translations to and from named effect handlers: * `handled` should be `handler` * `effect_of_name` should be `effect_of_named`
The `new` function creates a new access point. We cannot also use it for creating a fresh effect.
> > The `new` function creates a new access point. We cannot also use it for creating a fresh effect. > > Of course we **can**. The question is whether...
We have some examples along these lines and plan to add them to the repo soon.
> > How do you ensure that the `prompt` given as input to `suspend` actually comes from a parent stack? > > I don’t have anything better than linear search....
> I think what you are describing is what's usually called _named handlers_. There is a [sketch](https://github.com/WebAssembly/stack-switching/blob/main/proposals/continuations/Explainer.md#named-handlers) of how that could look with typed continuations in the explainer. I think...