Ross Tate

> Does the infrastructure you're thinking of here involve augmenting the core WebAssembly type system to statically enforce control isolation? The only way to avoid inserting dynamic guards around calls...

@titzer This sort of experiment is not measurable on wasm engines because it is measuring overhead incurred simply by using wasm and wasm engines. The baseline here is what our...

The problem with your demand is that, while it's easy to toggle a switch to enable or disable casts in an engine implementation, it's not so easy to implement a...

Ah, yes, and the results of this experiment suggests that another advantage to that approach is that it avoids some of the overheads seemingly incurred by the instance-object compilation model....

Thanks, @jakobkummerow, I had intended this to be a preliminary experiment that might prompt more (increasingly expensive) experiments, with the ultimate being actual engine implementation. To that end, the introduction...

Adding to that, if ever WebAssembly wants to support in-application stack tracing for exceptions, then the handler should happen "in place" so that it can use the stack marks or...

Many traps are detectable by hardware (e.g. the DE error for division by zero in x86) and handled by a trap gate. The trap gate needs to consider the current...

Nice catch, @jakobkummerow! To rephrase, no GC proposal with `i31ref` can have a common supertype between `i31ref` and `externref`, which in particular means no top type. Currently the designs of...

You would also have to either disallow imported types from representing `externref` or also split imported types off of the type hierarchy.

Subtyping for arbitrary union types is quadratic without recursive types. Subtyping for equi-recursive types is quadratic without arbitrary union types. The combination of these features is not quadratic and in...