Andreas Rossberg

I would represent None as an i31 ref with value zero (or any random value). It is just an instance of a variant type, where runtimes typically represent nullary constructors...

@fitzgen: > This gets at the philosophical question of how much duck typing we want to do. The proposal is doing some amount already with its matching of component types...

> If we had actual sum types in the core Wasm type system FWIW, the benefit of making variants primitive at the representation level is reduced by custom descriptors. It...

With custom descriptors you can e.g. store an integer tag in the descriptor to dispatch on with br_table, without wasting space in every variant. That doesn't easily save the consecutive...

Any support of JS promises would have to be part of the [JS host bindings proposal](https://github.com/WebAssembly/host-bindings/blob/master/proposals/host-bindings/Overview.md). But I'm afraid it cannot possibly work like your example suggests, since that would...

Implementations of coroutines in C do not magically interoperate with JavaScript's event loop. Also, they usually rely on implementation-specific behaviour. To reliably and portably implement something like coroutines or async...

I think you misunderstand the computational model of the web. JavaScript isn't multi-threaded, so suspending a computation would halt the engine, and in fact the entire renderer hosting it. The...

@backes: > Splitting is at least a step in the right direction Not sure I see how. AFAICS, it does not bring us any closer. I mean, I'm not opposed,...

@sbc100, this PR is stale. What's the status?

Sounds plausible. Something like `(local 5 i32)`?