Ben L. Titzer
Ben L. Titzer
@jakobkummerow Hmm, that's an interesting idea to use the value type tags, but after a little bit of thinking, I think it has other downsides. Wizard does use value type...
@askeksa-google Do you have numbers if the field index were not type-relative but module relative (i.e. bigger)?
I think we should not optimize for binary size until we are almost finished with the design, and then we should do so carefully and in a coordinated fashion. There...
> Is it a given that a side table requires space proportional to the number of instructions? Can't it be represented more compactly? Just to be clear, it's space proportional...
> > I don't agree that it is a clear win, even for space. It's only a win for binary size, and that ignores memory footprint. A major selling point...
@lukewagner which is why I think it shouldn't include its scope in its name, since its scope depends on its usage.
Sorry, I didn't mean "scope" in the PL sense, should have used a different term. "Accessibility" is closer to what I meant.
On the other hand, "thread local" is a commonly-used term, so it'd be odd to use a WebAssembly.Global as thread-local storage.
`i31ref` will be heavily used by OCaml.
As an aside, we could cut down on the signed/unsigned duplication by specifying that `i31` values are unsigned and offering `i32.extend31_s` and `i64.extend31_s`, as we did for 8 and 16-bit...