#1002: Review for CR transition of WebAssembly specifications for version 2.0 features
Discussions
Log in to see TAG-private discussions.
Discussed
Oct 1, 2024 (See Github)
punted
Discussed
Oct 1, 2024 (See Github)
Martin: I don't think this is a problem. the reference types explainer has not been updated... maybe the spec is up to date, but the explainer is not ready. there is a naming problem... Otherwise it would be keep up the good work.
Matthew: the repo is officially abandoned...
Martin: the question is where is the material?
Martin: writes proposed comment:
Hi @dschuff, we're looking at these and for the most part these seem reasonable, but we noted that the reference types explainer is full of questions and has a big TODO. Then we realized that most of the explainers are old and no longer being updated.
It seems like the WG work mode involves forking the spec for a feature and then archiving the fork once the changes are merged. However, this means that the explainers are sometimes not updated to include the sort of stuff the TAG likes to see, little things like user benefit (see our explainer explainer for more). Is there anywhere that we can get up-to-date information in that form? None of us are particularly expert at reading WASM specs, so it's hard to find these features, let alone find a discussion about benefits and trade-offs.
Discussed
Oct 1, 2024 (See Github)
Dan: we got a response.
Matthew: they said "yes it's part of our work mode" ... but they did point out that there is a design rationale docs posted publicly...
Martin has suggested that we close. We have +1's on that from Jeffrey, Tess, Yves, Matthew, Dan
Hi and thank you for your response, @dschuff. We agree that making those design rationale docs more discoverable, as you suggested, would be a good idea. Other than that we are satisfied with the proposal. Thanks for allowing us to review.
closed
Comment by @martinthomson Oct 23, 2024 (See Github)
Hi @dschuff, we're looking at these and for the most part these seem reasonable, but we noted that the reference types explainer is full of questions and has a big TODO. Then we realized that most of the explainers are old and no longer being updated.
It seems like the WG work mode involves forking the spec for a feature and then archiving the fork once the changes are merged. However, this means that the explainers are sometimes not updated to include the sort of stuff the TAG likes to see, little things like user benefit (see our explainer explainer for more). Is there anywhere that we can get up-to-date information in that form? None of us are particularly expert at reading WASM specs, so it's hard to find these features, let alone find a discussion about benefits and trade-offs.
Comment by @dschuff Oct 23, 2024 (See Github)
Unfortunately there isn't such a convenient document. Reference types is actually especially bad in this respect (i.e. listing the design considerations in isolation) because it was carved out of the GC proposal as a prerequisite. The explainer for GC has more background (and details in the GC MVP); the rationale was basically to pull out a very minimal subset (the concept of a reference type, as well as the externref
type and the allowance for multiple tables) to go through the process first.
Comment by @martinthomson Oct 23, 2024 (See Github)
Thanks for pointing to the GC docs, those definitely help.
Personally, I find the need to document things like user benefit as less acute for WASM. It was worth asking though. It's a bit of a shame that the documentation created during the development of features is ultimately lost. Having a well-maintained set of that sort of documentation is expensive, so it's understandable how things end up in this state.
Comment by @dschuff Oct 23, 2024 (See Github)
Yeah, we worked on documenting things like design rationale in the early days, but haven't really kept it up with every proposal as we've added them. User benefit is of course different (as wasm would be mostly transparent to end users) but every proposal has to consider e.g. developer benefit as it goes through the phases. Usually when champions request phase advancement they make a presentation that covers the design and often includes use cases and benefit (especially in early stages) design rationale, notable changes, etc. Those are all posted publicly, so at bare minimum it would be pretty straightforward to collect those, with links to the meeting notes, somewhere more convenient. Maybe we could have champions do that when they advance to phase 4.
Comment by @torgo Oct 30, 2024 (See Github)
Hi and thank you for your response, @dschuff. We reviewed again today and we agree that making those design rationale docs more discoverable, as you suggested, would be a good idea. Other than that we are satisfied with the proposal. Thanks for allowing us to review.
Comment by @dschuff Oct 30, 2024 (See Github)
Thank you!
OpenedOct 8, 2024
こんにちは TAG-さん!
I'm requesting a TAG review of WebAssembly 2.0.
This is a request for transition for version 2.0 of all 3 WebAssembly specifications, namely the core spec, which defines the core code format and semantics; the JS API specification, which provides a JavaScript API for interacting with WebAssembly; and the Web API specification, which describes the integration of WebAssembly with the broader web platform.
For review convenience, here is a list of the explainers for the proposals that have gone into 2.0, compared to 1.0 (currently in REC state). These are informal descriptions of the proposed changes and are not canonical, but describe an overview of the feature and could be useful in determining whether there is anything of interest for horizontal reviewers.
Note also that the specifications contain change history sections summarizing additions to each spec (core, JS, Web) listing and summarizing additions since version 1.0. The table summarizes the effect on the JS spec. The Web spec is unchanged since 1.0
Further details: