I've never used WASM so apologies in advance but for
>Typed references. The GC extension is built upon a substantial extension to the Wasm type system, which now supports much richer forms of references. Reference types can now describe the exact shape of the referenced heap value, avoiding additional runtime checks that would otherwise be needed to ensure safety.
Why is an assembly-like dialect interacting with concepts that are at a much higher level than it?
To WASM isn't it all just pointers in a big heap like every other assembly?
>Typed references. The GC extension is built upon a substantial extension to the Wasm type system, which now supports much richer forms of references. Reference types can now describe the exact shape of the referenced heap value, avoiding additional runtime checks that would otherwise be needed to ensure safety.
Why is an assembly-like dialect interacting with concepts that are at a much higher level than it?
To WASM isn't it all just pointers in a big heap like every other assembly?