Andreas Rossberg
Andreas Rossberg
@titzer, that's an interesting idea, but wouldn't it be much too limited in practice without the ability to represent cyclic object graphs? Those are omnipresent. And it's not clear how...
FWIW, I am skeptical about the usefulness of memcpy or mmap for this, since the target isn't an empty heap, i.e., you have to relocate all pointers, which may easily...
> You don't necessarily need relocation for a static compiler; you would locate the initialized data at a fixed address. Not sure I follow. AFAICS, when compiling a Wasm module,...
You don't need a 100 small programs, a single one would do -- at least in those cases where the proposed section would help.
Yes, as @binji points out, this is already stated. No need to add anything.
@jfbastien, that was the intention of the text, and it still reads that way to me.
From a quick glance at your doc, the list of "essentials" consists entirely of system _capabilities_. Providing them by default would imply the presence of ambient capabilities, and would thereby...
@aardappel: > The existing GC proposal (@rossberg's one) seems to highly favor statically typed languages, so I don't see how the Lisp family of languages would be a good test...
While I have originally been cautious of removing duplicate imports, I now strongly support this change. The crucial observation is that duplicate imports cannot be handled in various environments, as...
This exact type was previously introduced as part of the reference types proposal, for the reasons you mention, and some others (it wasn't needed for the MVP, because the type...