gc

gc copied to clipboard

Incompatibilities with Pointer Tagging

19

#114 discusses an extension for variants along with a number of pointer-tagging optimizations it would be intended to support. Unfortunately these optimizations are not particularly compatible with the current design....

RossTate

Permanent Slow Casting

16

A consequence of the issues raised in #116 is that, unless we somehow manage to solve a longstanding open research problem, we will never be able to eliminate "superfluous" casts...

RossTate

Resource limits for GC'd memory allocations

10

I'm researching using WebAssembly to implement sandboxed plugins to run inside a web app. This means running untrusted or less-trusted Wasm code inside an HTML/JavaScript environment, which itself is running...

bvibber

Alternatives to i31ref wrt compiling parametric polymorphism on uniformly-represented values (OCaml)

108

As `i31ref` doesn't seem to be an unanimously-agreed-on (see https://github.com/WebAssembly/gc/issues/53) part of the GC MVP spec, I am very interested in discussing what the concrete alternatives to it are in...

sabine

Inefficiency with (Unbounded) Parameteric Polymorphism

2

Terminology note: Parametric polymorphism is the use of instantiable type parameters, whereas subtype polymorphism is the use of subtyping. In #114, the following extensions are described as part of a...

RossTate

Thought experiment: JS subset using GC MVP

5

# Thought experiment: JS subset using GC MVP "One complete but limping implementation of an important language is worth 20 long threads on subtyping" -- @titzer, https://github.com/WebAssembly/gc/issues/111#issuecomment-670999383 Well you nerd-sniped...

bvibber

Wasm GC and JS Interop

7

This is a new proposal for how Wasm GC objects could be accessed from JS. Slides: https://docs.google.com/presentation/d/1BqRlDrQIYdkRHHtoZ7F8a2tpFwYoumCCbqQ4SpULajI/ Document: https://docs.google.com/document/d/1_f-w9r81VCwfCKcFt7ZiWqxYc35ERgbTcgzusip-8oQ/

tebbi

Weak maps for GC references?

3

Would browser VM be able to support weak maps for GC references without additional overhead? Some languages provide an identity hash code for every object, usually a i32 random number...

skuzmich

Incorporate generative RTT

3

Thanks to a number of discussions, I now have enough understanding of the expected conventions for this proposal to suggest a modest revision that should address a number of open...

RossTate

JS API and nominal/structural typing

5

The current text of [MVP-JS.md](https://github.com/WebAssembly/gc/blob/master/proposals/gc/MVP-JS.md) goes to some lengths to describe a mechanism to preserve JavaScript's nominal typing through roundtrips through Wasm code. Maybe I'm missing something there... but right...

jakobkummerow