Cross-reference other infrastructure-like specs?

[littledan]

In particular, WebIDL and the TAG Promises guide provide other foundational infrastructure. Maybe this should link to them.

[domenic]

The idea is that this is mostly agnostic to the technology used. We used to have some Web IDL integration but specifically removed it. Similarly I don't think mentioning promises is appropriate for this level. I'm even a bit uncomfortable with the JavaScript List reference; that's mostly a hack around the fact that JavaScript doesn't build on Infra like it (IMO) should.

[annevk]

I think what needs to happen is:

1. We merge TAG Promises into IDL (and formalize its algorithms at the same time, adding missing arguments to some, etc.)
2. We make IDL depend more strongly on Infra and harmonize the type systems

I think at that point it should be clear that Infra is the bottom layer and IDL sits on top, with no need for cross-referencing.

[annevk]

(And yeah, if we can make JavaScript similarly depend on Infra that'd be grand, but as always, baby steps.)

[littledan]

the fact that JavaScript doesn't build on Infra like it (IMO) should.

That'd be great!

I think at that point it should be clear that Infra is the bottom layer and IDL sits on top, with no need for cross-referencing.

Would it be so bad to have links in both directions, with one of the directions just in a note? This could be useful for beginners like me.

[annevk]

If you see some way we could make that work, I don't think it would be bad per se.