stack-switching

stack-switching copied to clipboard

Optional Support for Multi-Shot Continuations

10

> This Stack Switching Proposal introduces one-shot continuations, which are efficient and align with a contiguous stack model. However, languages like Scheme, Racket, and other functional or dynamic languages rely...

GunpowderGuy

Why is the argument of a cont_type a heap_type

11

In the proposed spec interpreter, we have: ... ``` and func_type = FuncT of result_type * result_type and cont_type = ContT of heap_type ``` My question is: why is cont_type...

fgmccabe

Add some coroutine examples

1

Can we add some coroutine test cases to the [examples](https://github.com/WebAssembly/stack-switching/tree/main/proposals/stack-switching/examples) folder? Generally similar to generators, but allows send and return at certain points.

oovm

Continuation type encoding

4

This is a tracking issue to continue the discussion in #89. We can encode the type `(cont $ft)` in different ways. The interesting part is the encoding of the type...

dhil

Unhandled suspension in embedding API

11

Some offline discussion turned up the issue of how to represent unhandled suspensions in the embedder API. Let's use this issue to discuss. AFAICT an unhandled suspension is a pair...

titzer

Put the reduction rules in the explainer

1

The explainer covers the static semantics of the proposed extension, but not so such its dynamic semantics. We do have the reduction rules scattered between an [old document](https://github.com/WebAssembly/stack-switching/blob/wasmfx/proposals/continuations/Overview.md) and in...

dhil