16:28 | <Rob Palmer> | That is a very cool project, @bakkot:matrix.org: It shows how many pieces of the puzzle are coming to allow TS and ESM to be used in a simple way. |
16:30 | <ljharb> | it'd be cool to also describe/provide a variant that avoids the speed overhead that takes one of these apps and pre-transpiles it so that it still works |
16:30 | <Rob Palmer> | On the motivations for type annotations, the Node work demonstrates that runtimes can play a large part in the story of reducing developer friction. Deno/Bun also showed that earlier on. |
16:31 | <Rob Palmer> | There are still some remaining gaps, such a browser debugging. Using the console/REPL with TS still isn't as frictionless as using JS. |
16:32 | <Rob Palmer> | The other motivation was language coordination. Something Mark raised strongly in Feb 2025 during the post plenary session on type annotations. Minutes are available. |
16:33 | <bakkot> | Fair point about language coordination, yeah |
16:33 | <bakkot> | myself I've always kind of been on the other side of that, because I like it when TS adds good syntax (satisfies etc) instead of trying to fit it into a pre-reserved syntax space |
16:34 | <Rob Palmer> | (Though I see the TS introduction of the new "erasableSyntaxOnly" tsconfig flag + TC39 advancement of the Stage 1 enum proposal as highly positive indications of all sides leaning in to attempts to coordinate already.) |
16:37 | <bakkot> | I actually have found that debugging ts-blank-space strip'd types is totally frictionless; do you just mean the bit where you can't copy-paste TS code into the repl? I think that would be adequately solved by having Chrome devtools ship swc |
16:48 | <Rob Palmer> | Yes, I mean copy-pasting into the REPL. And I agree that if we coordinate across the ecosystem to intercept all the places that JS is debugged so they implement these same type-stripping semantics, then from a user's perspective using TS should be pretty much as frictionless as JS. |
16:49 | <Rob Palmer> | (I.e. Chrome is not the only debugger) |