Add `async iterable<T>` type to WebIDL #1397

lucacasonato · 2024-03-25T12:41:44Z

This commit lifts the async iterator processing logic from the
ReadableStreamFromIterable operation in the Streams spec, to a new WebIDL type
async iterable<T>.

This will clean up the streams spec, and enable a change in the Fetch spec to
directly allow taking async iterable as request/response bodies, without users
having to pass them to ReadableStream.from first.

At least two implementers are interested (and none opposed):
- WebKit
- Blink
- Gecko
Tests are written and can be reviewed and commented upon at:
- I don't know? Add async iterable<T> type to WebIDL #1397 (comment)
Implementation bugs are filed:
- Chromium: https://issues.chromium.org/issues/356891478
- Gecko: https://bugzilla.mozilla.org/show_bug.cgi?id=1911295
- WebKit: https://bugs.webkit.org/show_bug.cgi?id=277548
- Deno: Implement support for async iterable<T> WebIDL type denoland/deno#24849
- Node.js: Implement support for async iterable<T> WebIDL type nodejs/node#54175
- webidl2.js: feat: add support for parsing async iterable<T> type w3c/webidl2.js#775
- widlparser: Add support for parsing async iterable<T> type plinss/widlparser#85
MDN issue is filed: …
The top of this comment includes a clear commit message to use.

(See WHATWG Working Mode: Changes for more details.)

Preview | Diff

This commit lifts the async iterator processing logic from the `ReadableStreamFromIterable` operation in the Streams spec, to a new WebIDL type `async iterable<T>`. This will clean up the streams spec, and enable a change in the Fetch spec to directly allow taking async iterable as request/response bodies, without having to pass them to `ReadableStream.from` first.

saschanaz · 2024-03-25T12:57:17Z

Has there been discussion somewhere publicly? 👀

lucacasonato · 2024-03-25T14:18:33Z

@saschanaz No, not of any specifics. The background here is this issue: whatwg/fetch#1291 (comment). @annevk mentioned we'd need to figure out how to make this work IDL wise. This is my attempt at that (it enables updating the BodyInit overload in Fetch from:

typedef (Blob or BufferSource or FormData or URLSearchParams or USVString) XMLHttpRequestBodyInit;
typedef (ReadableStream or XMLHttpRequestBodyInit) BodyInit;

to

typedef (Blob or BufferSource or FormData or URLSearchParams or USVString) XMLHttpRequestBodyInit;
typedef (ReadableStream or async iterable<BufferSource> or XMLHttpRequestBodyInit) BodyInit;

saschanaz · 2024-03-25T14:22:31Z

Hmm, I see. BTW please include the full PR template: https://github.com/whatwg/webidl/blob/main/PULL_REQUEST_TEMPLATE.md

annevk · 2024-03-25T15:53:18Z

I wonder how this ends up working in practice. Say you have Blob or async iterable<T> or DOMString. If you pass in a Blob with @@asyncIterable support, how is it handled? I guess @@asyncIterable comes later, probably before toString?

cc @petervanderbeken @natechapin

petervanderbeken · 2024-03-25T16:35:22Z

What is being proposed exactly, to what WebIDL type would it be converted? A reference to an Iterator Record?

lucacasonato · 2024-03-25T18:31:39Z

I wonder how this ends up working in practice. Say you have Blob or async iterable or DOMString. If you pass in a Blob with @@asyncIterable support, how is it handled? I guess @@asyncIterable comes later, probably before toString?

@annevk I have specified this behaviour in an update to the overload resolution algorithm in this PR already. The gist is: an async iterable<T> has the same behaviour for distinct types as sequence<T> (which one could think of as the eager synchronous version of async iterator<T>).

I have updated the graphic in the spec that explains this too:

In practice:

async iterator<T> can be distinguished from all types but object and sequence<T>
As with sequence<T>, a matching interface is considered more important than a platform object that implements the iterable, or async iterable protocol. So specifically for the BodyInit with Blob case: nothing changes.
As with sequence<T>, primitives like strings, even if they have @@iterator on their prototype, are not considered for async iterator<T> overloads, and are also not valid async iterator<T> values. async iterator<T> requires values are Type(V) == Object, in addition to having either @@iterator or @@asyncIterator.

What is being proposed exactly, to what WebIDL type would it be converted? A reference to an Iterator Record?

@petervanderbeken I am proposing the addition of an async iterable<T> type, which mirrors sequence<T> in many ways, but unlike it is:

lazy: it can be possibly infinite length, with the JS -> IDL conversion not requiring synchronous transformation of all values of the underlying iterable. Instead values are lazily iterated off the underlying iterator, converted from JS to IDL, and yielded to IDL callers, as they request them.
asynchronous: values can be produced asynchronously

If you imagine a matrix of JS stream primitives, with asynchronicity on one axis, and eagerness on the other, this fills out the square opposite of sequence<T>.

	sync	async
eager	JS: `Array<T>`; IDL: `sequence<T>`	JS: `Promise<Array<T \| Promise<T>>>`; `async sequence<T>` (doesn't exist)
lazy	JS: `{ @@iterator: Iterator<T> }`; IDL: `iterable<T>` (doesn't exist)	JS: `{ @@asyncIterator: AsyncIterator<T> }`; IDL: `async iterable<T>` (this PR)

The use case for this type are Web APIs that take "streams" of values (of unknown length), that they then process in some way. A real Web API that does this right now is ReadableStream.from(). It takes objects that are iterables as a Web IDL any type, and performs manual processing of this iterable. For one API, this is fine, but there are other proposed APIs that would also take async iterables as arguments:

new Response(asyncIterable): this overload of Response's BodyInit aims to simplify interop of fetch bodies with Node's own stream APIs, which implement @@asyncIterable (see Allow request take AsyncIterable body? fetch#1291).
crypto.subtle.digest(algorithm, asyncIterable): this overload of subtle digest would allow digesting large sets of data without having to load them into memory entirely (see Bug 27755 - Using the Subtle Crypto Interface with Streams w3c/webcrypto#73 and Bug 27755 - Using the Subtle Crypto Interface with Streams w3c/webcrypto#73 (comment)).

Introduction of this async iterable<T> simplifies all of these, because the entirety of the iterable iteration logic is now pulled into Web IDL, where all callers can share it.

saschanaz · 2024-03-25T19:59:43Z

What is being proposed exactly, to what WebIDL type would it be converted? A reference to an Iterator Record?

Per https://whatpr.org/webidl/1397/402a886...14f1bdb.html#js-async-iterable the result indeed seem to be iterator record. (Adding because I don't think the comment above actually answers this.)

annevk · 2024-03-26T08:33:18Z

This design sounds good to me. It seems the Build is currently failing though. Could you write a corresponding PR for Streams to show it in action so we have some assurance it can be adopted?

cc @MattiasBuelens

MattiasBuelens

Looking pretty good!

index.bs

MattiasBuelens · 2024-03-26T10:05:58Z

3. As with sequence<T>, primitives like strings, even if they have @@iterator on their prototype, are not considered for async iterator<T> overloads, and are also not valid async iterator<T> values. async iterator<T> requires values are Type(V) == Object, in addition to having either @@iterator or @@asyncIterator.

This would technically be a breaking change for ReadableStream.from(), since we currently do accept strings (see this test).

That said, I wrote that test more for the sake of completeness, and I don't expect much actual usage in the wild. We can consider making ReadableStream.from() throw on strings, or we could change its signature to accept async iterable<any> or string instead.

lucacasonato · 2024-03-26T13:07:53Z

@MattiasBuelens I was not aware of this behaviour in Streams. I think we should stick with the behaviour where async iterator<T> must be an object in this PR (mirroring sequence<T>). Overload resolution becomes tricky and rather confusing otherwise.

Let's discuss whether to accept or error on DOMString arguments in the ReadableStream.from() PR.

lucacasonato · 2024-03-26T13:13:51Z

@annevk I had already opened a draft PR to the streams spec, showing the integration yesterday. Here is a link: whatwg/streams#1310.

lucacasonato · 2024-03-26T16:06:49Z

Do we have Web IDL tests in WPT? I don't think so, right? I guess no tests specifically for this are relevant.

Considering this is mostly an editorial refactor, do we even need "implementer interest"? There is nothing to implement until an upstream spec uses this. I'll ask for support anyway though:

@annevk You already expressed support on this design, can I take that as interest from WebKit?
@saschanaz What are your thoughts? Does Mozilla have an opinion?
For Chrome, maybe @domenic could chime in?
Deno is interested in this.
Node.js likely is too, considering that this unlocks new Response(asyncIterable). @matteocollina can you comment?

Also @jasnell, any thoughts?

lucacasonato · 2024-03-26T23:03:28Z

Got some feedback from @saschanaz elsewhere that the constraint that async iterable<T> is only valid in JS->IDL positions (rather than also in IDL->JS positions) should be more prominently highlighted. I'll address this tomorrow

domenic · 2024-03-27T02:11:56Z

Do we have Web IDL tests in WPT? I don't think so, right?

We do, but they're weird since they test things via APIs that use those features. https://github.com/web-platform-tests/wpt/tree/master/webidl/ecmascript-binding

I guess no tests specifically for this are relevant.

I think linking to the tests for streams using this feature would be good. Especially if you can verify that everything you introduce in this PR is covered by some aspect of the streams tests. (Which is probably the case since the streams tests are quite thorough, IIRC.)

Considering this is mostly an editorial refactor, do we even need "implementer interest"? There is nothing to implement until an upstream spec uses this. I'll ask for support anyway though:

Implementer support for Web IDL stuff like this is tricky and requires a judgement call. I think we should CC the bindings teams and give them a chance to weigh in, so @japhet and @yuki3 for Chromium. For example if they were concerned about how to implement this in the bindings layer, or if they were concerned that introducing this feature would be bad because then too many specs might use it and actually it should be rare.

However, since this doesn't require any immediate changes to any implementations, I think we shouldn't block on requiring such support, if we don't hear back.

domenic · 2024-03-27T02:16:00Z

Regarding strings, I think we should follow the behavior of async iterator helpers's AsyncIterator.from(); /cc @bakkot. I cannot tell what that behavior is, however. Iterator.from() definitely accepts strings. But AynscIterator.from() calls GetIteratorFlattenable with a second parameter whose value is async, which is neither accept-strings nor reject-strings.

bakkot · 2024-03-27T02:30:32Z

AsyncIterator.from will accept strings because Iterator.from does. But do note that it's specifically a coercion method. For something like ReadableStream.from, which is also a coercion method, you may wish to follow that precedent, but I'm not sure you'd want to do so for other async-iterable-taking things.

The way AsyncIterator.from works is to look up Symbol.asyncIterator, and if that fails then fall back to Symbol.iterator with the result wrapped the same way for await does (modulo some quibbles not relevant here), and if that fails to use the .next method directly (which only iterator-taking things should do, which is to say, nothing except AsyncIterator.from and AsyncIterator.prototype.flatMap).

And since it will not specifically reject strings, and strings have a Symbol.iterator, it will accept them, the same way for await does.

(Sorry the spec for AsyncIterator.from is out of date; I'm working through other parts of the semantics and it doesn't really make sense to get the spec updated until those are sorted. But this question, at least, is settled.)

domenic · 2024-03-27T02:33:08Z

Thanks for the quick response. I'm unsure whether we should think of new Response(asyncIterable) as a "coercion method", but I lean toward yes... and those are our two use cases so far, so, I'm unsure where that leaves us for the general Web IDL type.

bakkot · 2024-03-27T02:36:34Z

Personally I would specify this by making async iterable<T> reject strings, and then adding or USVString to those places which should accept strings, just to ensure that future users of the type have actually decided to take strings on purpose instead of it happening by accident.

Plus if you take a string explicitly then you can use it directly instead of having to look up and invoke String.prototype[Symbol.iterator], which is going to be... slower.

lucacasonato · 2024-03-27T11:03:31Z

Thanks for the comments @domenic and @bakkot. I agree strongly with @bakkot that in the Web IDL type, we should only allow objects implementing the async iterable protocol for the async iterable<T> type. Anything else would be a significant hassle with a high chance for unexpected behaviour when plumbed into the overload / union resolution algorithm. Also there is already precedent in Web IDL that iterable taking types do not support iterating string (sequence<T> does not support iterating strings, but does iterate objects implementing the iterable protocol).

For the streams specific discussion, lets move it right here: whatwg/streams#1310 (comment)

lucacasonato · 2024-05-07T13:17:55Z

Folks, could you take another look? I have clarified the allowed positions for async iterables (namely not in attributes), and have added guidance that:
a) async iterable IDL values can not be constructed in IDL, and always must come from language bindings
b) that spec authors should generally return an interface with an async iterable declaration, not an async iterable IDL value

@annevk has confirmed implementer interest for WebKit on Matrix - is anyone else in favor, or opposed?

domenic

Thanks for working on this! I think the theoretically-language-agnostic part is not quite separated nicely from the JS language part, and we can make the latter more rigorous. But the feedback is largely editorial.

domenic · 2024-07-30T06:14:08Z

index.bs

+<h4 id="idl-async-iterable-type" lt="async iterable" dfn export>Async iterable types — async iterable&lt;|T|&gt;</h4>
+
+The <dfn lt="async iterable type" export>async iterable&lt;|T|&gt;</dfn> type is a parameterized
+type whose values are references to objects that can produce an [=async iterator=].


This doesn't seem to match how other parameterizable types are defined. I'd expect just "async iterable" as the dfn text.

That dfn is on the heading. I copied this from sequence. It has two dfn:

sequence in the heading

sequence type in the body

index.bs

domenic · 2024-07-30T06:17:12Z

index.bs

+Async iterators, unlike sequences, do not have a fixed length and can be infinite. Values are
+asynchronously produced as the async iterator is iterated over.
+
+Async iterators are values, not types, and thus cannot be used as a type in IDL. They can only be


This seems pretty confusing. What type to the created values have, then?

I think this whole section is JS language binding specific, since it relates to algorithms like "open" and "get the next value" which are only defined for the JS language binding. So maybe we can remove this confusing not-a-type from the Web IDL "Types" section (2.13), and make it something produced and consumed by those algorithms?

I moved it down to the JS language section, and added some other wording up here to express that IDL async iterables are themselves not being iterated over, but produce a value that is being iterated over (without referencing [=async iterator=]).

index.bs

domenic

This looks really nice now! Just a few more editorial tidbits. Also be sure to fill out the template in the OP.

index.bs

lucacasonato · 2024-08-02T12:51:48Z

@domenic What tests should I write for this? I don't think we have specific webidl tests in WPT, right? Only tests for features that use the webidl types.

domenic

What tests should I write for this? I don't think we have specific webidl tests in WPT, right? Only tests for features that use the webidl types.

This was discussed in #1397 (comment).

index.bs

MattiasBuelens

LGTM (aside from one last nit)

index.bs

Implements whatwg/webidl#1397 Fixes #21454 Closes #24849

annevk · 2024-08-21T06:44:05Z

Just to make sure I understand correctly, this is blocked on tests and this is best tested through the Streams change whatwg/streams#1310 which is currently still in draft. So once the Streams change is ready and has test coverage (which should include coverage for the IDL bits) this is all good to go?

lucacasonato · 2024-08-26T09:45:32Z

So during an experiment we ran for new Response(async iterable<Uint8Array>), we discovered another fun edge case to think about: when having a union of string | async iterable<Uint8Array>, what should a boxed string resolve as? In the current spec text it resolves as a async iterable<DOMString>, which would cause an error during iteration. This happens because the boxed string is both an object, and has a [Symbol.iterator] method.

We have two options here:

handle this case specially in WebIDL by banning boxed string as a value for async iterable, like we do with primitives (kinda weird, but means this doesn't become a weird edge case only in fetch and is instead uniform across the platform)
handle this as a weird edge case in fetch, and in the future in any other string | async iterator WebIDL unions.

The big question is whether, assuming ReadableStream.from("asd") throws, ReadableStream.from(new String("asd")) should throw, or create a stream of string chunks.

Any thoughts?

lucacasonato · 2024-08-26T10:25:08Z

Copying over a thought from @annevk:

Treating string objects and values in the same way whenever possible seems preferable. Which argues for 1 as otherwise each API would have to deal with this anew.

bakkot · 2024-08-26T11:16:36Z

In TC39 we went the other direction, and said that String objects are just another kind of object. Having the check conceptually be "is a primitive" is the simplest mental model.

If the user provides a primitive wrapper Object such as a String Object, however, it should be treated like any other Object.

annevk · 2024-08-26T11:56:00Z

That also seems reasonable, but the problem is that any API currently accepting a string would need to juggle a lot of complexity to safely adopt async iterable<T>.

Perhaps there's a third solution whereby string | async iterable<T> cases involving a String object are resolved by going down the string path? But if there's no string in the type union we'd treat a String object as an Object for the purposes of async iterable<T>. (Of course, this has the opposite problem for when you start out with async iterable<T> and later overload with string, but that seems far less likely.)

lucacasonato · 2024-08-26T12:33:09Z

I like the option where we just handle this in the union.

domfarolino · 2024-09-06T19:51:32Z

index.bs

+an [=async iterator=]. The [=async iterator=] can be asynchronously iterated over to produce values.
+
+<dfn lt="async iterator" export>Async iterators</dfn> are [=structs=] with the following [=struct/items=]:
+* <dfn for="JS async iterator">underlying record</dfn>, an [=Iterator=] record


ECMAScript routinely refers to these as the type "Iterator Record". The term is often linkable as "Iterator Record" too, so could we maybe follow suit and make this [=Iterator Record=] instead?

domfarolino · 2024-09-06T19:53:16Z

index.bs

+
+    1.  Let |nextResult| be
+        <a abstract-op>IteratorNext</a>(|iterator|'s [=JS async iterator/underlying record=]).
+    1.  If |nextResult| is an abrupt completion, return [=a promise rejected with=]


All references of "abrupt completion" in the current standard link to the ES term. Could we do that too here?

domfarolino · 2024-09-10T14:07:08Z

index.bs

+
+    To <dfn id="async-iterator-close" export lt="close an async iterator">close</dfn> an
+    <code><a lt="async iterator">async iterator&lt;<var ignore>T</var>&gt;</a></code> |iterator|,
+    with a reason |reason|:


Maybe clarify that |reason| is a JavaScript value (i.e., instead of a Web IDL value that would need to be converted), like we do in https://webidl.spec.whatwg.org/#a-promise-rejected-with?

lucacasonato · 2024-11-26T13:46:14Z

We ran another experiment with changed behaviour where for unions of string | async iterable<T> the String object is resolved as string rather than as async iterable<T>. We have not gotten any regression reports so far. I am going to update this PR with that change.

WebIDL `async iterable<T>` type rejects `string` Ref whatwg/webidl#1397, #24623

This was referenced Mar 25, 2024

Allow request take AsyncIterable body? whatwg/fetch#1291

Open

Add support for parsing async iterable<T> type plinss/widlparser#85

Draft

lucacasonato mentioned this pull request Mar 25, 2024

Use async iterable webidl type in ReadableStream.from whatwg/streams#1310

Draft

5 tasks

MattiasBuelens suggested changes Mar 26, 2024

View reviewed changes

index.bs Outdated Show resolved Hide resolved

index.bs Outdated Show resolved Hide resolved

lucacasonato added 2 commits March 26, 2024 14:01

Reason argument for close async iterable

b7df167

fix typo

0402e85

lucacasonato mentioned this pull request Mar 26, 2024

feat: add support for parsing async iterable<T> type w3c/webidl2.js#775

Draft

lucacasonato added 2 commits March 28, 2024 12:20

clarify the details of allowed positions for async iterables

b6f7392

fix ci

6363f6c

MattiasBuelens approved these changes Jul 29, 2024

View reviewed changes

domenic reviewed Jul 30, 2024

View reviewed changes

review comments

11f9a9f

lucacasonato requested a review from domenic July 30, 2024 12:38

fix

dc07972

MattiasBuelens reviewed Jul 30, 2024

View reviewed changes

index.bs Outdated Show resolved Hide resolved

index.bs Outdated Show resolved Hide resolved

an

dd56f97

domenic reviewed Aug 2, 2024

View reviewed changes

fixes

9a79b42

lucacasonato requested a review from domenic August 2, 2024 12:49

This was referenced Aug 2, 2024

Implement support for async iterable<T> WebIDL type denoland/deno#24849

Closed

Implement support for async iterable<T> WebIDL type nodejs/node#54175

Open

domenic approved these changes Aug 5, 2024

View reviewed changes

index.bs Outdated Show resolved Hide resolved

index.bs Outdated Show resolved Hide resolved

index.bs Outdated Show resolved Hide resolved

MattiasBuelens approved these changes Aug 5, 2024

View reviewed changes

index.bs Outdated Show resolved Hide resolved

review comments

6374863

crowlKats added a commit to denoland/deno that referenced this pull request Aug 6, 2024

feat(fetch): accept async iterables for body (#24623)

ba40347

Implements whatwg/webidl#1397 Fixes #21454 Closes #24849

This was referenced Aug 17, 2024

Observable.from should throw primitive iterables (strings) WICG/observable#125

Closed

fix(streams): reject string in ReadableStream.from type denoland/deno#25116

Merged

domfarolino reviewed Sep 6, 2024

View reviewed changes

domfarolino reviewed Sep 10, 2024

View reviewed changes

bartlomieju pushed a commit to denoland/deno that referenced this pull request Nov 26, 2024

fix(streams): reject string in ReadableStream.from type (#25116)

4330ef5

WebIDL `async iterable<T>` type rejects `string` Ref whatwg/webidl#1397, #24623

bartlomieju pushed a commit to denoland/deno that referenced this pull request Nov 28, 2024

fix(streams): reject string in ReadableStream.from type (#25116)

2ee6b1a

WebIDL `async iterable<T>` type rejects `string` Ref whatwg/webidl#1397, #24623

Add async iterable<T> type to WebIDL #1397

Are you sure you want to change the base?

Add async iterable<T> type to WebIDL #1397

Conversation

lucacasonato commented Mar 25, 2024 • edited by pr-preview bot Loading

saschanaz commented Mar 25, 2024

lucacasonato commented Mar 25, 2024

saschanaz commented Mar 25, 2024

annevk commented Mar 25, 2024

petervanderbeken commented Mar 25, 2024 • edited Loading

lucacasonato commented Mar 25, 2024 • edited Loading

saschanaz commented Mar 25, 2024

annevk commented Mar 26, 2024

MattiasBuelens left a comment

Choose a reason for hiding this comment

MattiasBuelens commented Mar 26, 2024 • edited Loading

lucacasonato commented Mar 26, 2024 • edited Loading

lucacasonato commented Mar 26, 2024

lucacasonato commented Mar 26, 2024

lucacasonato commented Mar 26, 2024

domenic commented Mar 27, 2024

domenic commented Mar 27, 2024 • edited Loading

bakkot commented Mar 27, 2024 • edited Loading

domenic commented Mar 27, 2024

bakkot commented Mar 27, 2024 • edited Loading

lucacasonato commented Mar 27, 2024

lucacasonato commented May 7, 2024

domenic left a comment

Choose a reason for hiding this comment

domenic Jul 30, 2024

Choose a reason for hiding this comment

lucacasonato Jul 30, 2024

Choose a reason for hiding this comment

domenic Jul 30, 2024

Choose a reason for hiding this comment

lucacasonato Jul 30, 2024

Choose a reason for hiding this comment

domenic left a comment

Choose a reason for hiding this comment

lucacasonato commented Aug 2, 2024

domenic left a comment

Choose a reason for hiding this comment

MattiasBuelens left a comment

Choose a reason for hiding this comment

annevk commented Aug 21, 2024

lucacasonato commented Aug 26, 2024

lucacasonato commented Aug 26, 2024

bakkot commented Aug 26, 2024 • edited Loading

annevk commented Aug 26, 2024 • edited Loading

lucacasonato commented Aug 26, 2024

domfarolino Sep 6, 2024

Choose a reason for hiding this comment

domfarolino Sep 6, 2024

Choose a reason for hiding this comment

domfarolino Sep 10, 2024 • edited Loading

Choose a reason for hiding this comment

lucacasonato commented Nov 26, 2024

Add `async iterable<T>` type to WebIDL #1397

Add `async iterable<T>` type to WebIDL #1397

lucacasonato commented Mar 25, 2024 •

edited by pr-preview bot

Loading

petervanderbeken commented Mar 25, 2024 •

edited

Loading

lucacasonato commented Mar 25, 2024 •

edited

Loading

MattiasBuelens commented Mar 26, 2024 •

edited

Loading

lucacasonato commented Mar 26, 2024 •

edited

Loading

domenic commented Mar 27, 2024 •

edited

Loading

bakkot commented Mar 27, 2024 •

edited

Loading

bakkot commented Mar 27, 2024 •

edited

Loading

bakkot commented Aug 26, 2024 •

edited

Loading

annevk commented Aug 26, 2024 •

edited

Loading

domfarolino Sep 10, 2024 •

edited

Loading