> One generally does not run TS on the server. Dev in TS and compile and ship in JS as always because the runtimes are actually all JS; TS is purely a dev time

> One generally does not run TS on the server. Dev in TS and compile and ship in JS as always because the runtimes are actually all JS; TS is purely a dev time sanity check Which is also why both Deno and Bun took the approach of type stripping/type ignoring but not type checking. When you want type checking, run the Typescript compiler, whether that is in your IDE or your CI or whatever else. When you want to run the code, just strip the types. > Microsoft's type annotation proposal[0] would have been a nice "bridge", but was universally derided. I don't think "Stage 1" is "universally derided", it would have never made it out of "Stage 0" if that were the case. It has been on a very slow track, sure, to "Stage 2" and there have been some controversies/pushback, but that doesn't mean everyone is against the proposal or that the proposal may never make it to "Stage 2" (just that it may change a bunch before it does, or it may have to make political concessions).