Andreas Rossberg

The cost of ToJSValue and back is always O(1). But you're typically not getting a value within the host language's ordinary set of types. I vaguely remember previous discussions about...

> I'm not sure that 'Wasm semantics would be broken by JS typed arrays' (which are backed by array buffers). It's the fact that two typed arrays with different identity...

Just to clarify, the intent is that the Wasm JS API will eventually be extended with classes and functions that give full direct access to Wasm GC objects. That is...

@xujuntwt95329, in general, the idea is that Wasm essentially is a virtual CPU, not a high-level VM. So the two questions to ask are: 1. How would this feature be...

@xujuntwt95329, I've used the slogan "As low-level as possible, but no lower" to describe Wasm. As I said, there are exceptions where we have to raise the abstraction level somewhat,...

I agree with @kripken that a key feature to enable the implementation of high-level runtimes in Wasm would be a general mechanism for user-space jitting. That has been an assumption...

@conrad-watt, this proposal still needs some work to move it over the finishing line. ;)

I had assumed the new types were intentionally left out for now. But while looking, I also noticed #501.

Just to mention it: an alternative that we have thrown around in the past was to have a form of reinterpret cast on (transparent) array types, such that array(i8) can...

A while ago, I gave a presentation about two prototype compilers I wrote (one for an object-oriented, one for a functional language) and how they make use of GC types,...