Are Web IDL sequences lists?

[domenic]

Or do you convert lists to Web IDL sequences?

I think the big difference is that as defined here, lists can contain abstract things. Whereas Web IDL sequences can only contain things which are properly part of the Web IDL type system.

Maybe what we want to do here is state something like "often we use lists in a place that expects sequences, or treat sequences like lists. This kind of implicit conversion is OK, as long as the type systems match up."

[annevk]

There's nothing currently guarding sequences to not contain bad stuff, so I'm not sure we need to pretend they are different.

[domenic]

There is: the Web IDL type system. You literally cannot write down the type for a sequence containing bad stuff.

[annevk]

I mean that you can say "Let x be a sequence. Append badThing to x." That kind of misuse needs to be caught by readers.

[domenic]

Closed by whatwg/webidl@26aa830 (I got the commit message wrong)