I’m porting the TypeScript type checker tsc to Go

Re:I’m porting the TypeScript type checker tsc to Go by scotty79 on Tuesday January 25, 2022 @02:18PM (#30076603)

Good thing is that the only thing it does is type-checking. So if you miss some edge case it won't influence at all how your ts code works.

The only thing is it may not catch some type error, which JS already does none of and TS can skip wherever you want or even implicitly and people are fine with that.

If I get 98% of TS typechecking 10 times faster. It's a huge win.

[ Parent | on HN ]

Re:I’m porting the TypeScript type checker tsc to Go by simplify on Tuesday January 25, 2022 @02:32PM (#30076812)

You're vastly underestimating the advanced type system features TypeScript requires to typecheck even the most basic JavaScript code. It would be more like 10% rather than 98%. Intersection and union types are no joke, and are notoriously difficult to make performant.

[ Parent | on HN ]

Re:I’m porting the TypeScript type checker tsc to Go by pjmlp on Wednesday January 26, 2022 @03:03AM (#30082992)

I just saw an example where the upcoming 4.6 will improve the clever use of recursive types done by some libraries.

Give the people a turing complete type system and they will write a complete application with it.

[ Parent | on HN ]