TC39 General
2022-03-25
plaintext logs
prev next
source on github
19:05
<danielrosenwasser>

have been thinking about this some: I think it would make more sense as a build step.

e.g., you could, I think, write a babel plugin that transformed type(x) into a representation of the type of the expression x at build time.

that is probably better than building it in to the language, in a couple ways: 1) it lets you get a rich representation, instead of just a string, and do name resolution etc, 2) it means there is no risk to stripping types in prod, which is important lest we bloat every shipped file forever

libraries that rely on reified types today tend to rely on some extra build step, and it's generally not too bad
19:05
<danielrosenwasser>
Embedding the resolution logic into a runtime library would be much worse simply because I don't think most systems would have "enough" to resolve on
19:10
<danielrosenwasser>
It's not like you can't create something here, but my personal feeling is that it's one of those things where you get 70% of the way, then every piece of the next 30% is either unreasonably expensive or impossible, but a ton of devs will end up hitting that 30%
19:23
<pzuraq>
where is the best place to discuss scheduling?
19:24
<pzuraq>
I have a hard conflict on Tuesday morning so want to make sure that decorators don't get scheduled for then
19:24
<nicolo-ribaudo>
You can do something like https://github.com/tc39/agendas/pull/1140
19:25
<pzuraq>
ah, perfect, ty
19:26
<pzuraq>
also how do I get voice in TC39 Delegates and TDZ?
19:26
<nicolo-ribaudo>
ryzokuken ^
20:41
<jschoi>
FYI: The W3C TAG is seeking feedback from TC39 about the general design question of type overloading in web JS APIs. They’re distinguishing between at least two types (heh) of type overloading: parameters with simple type unions, like with arithmetic operators—versus more-complex alternative parameter forms in which the valid types of subsequent parameters depend on those of earlier parameters, such as with FormData’s methods). …This was way back in January and I promised to link to it here but forgot, oops. https://github.com/w3ctag/design-principles/issues/131
22:44
<pzuraq>
ljharb full username is @pzura:matrix.org I think
22:44
<pzuraq>
I got locked out of @pzuraq 🙃