News for hackers. Stuff that matters.

A comment on I’m porting the TypeScript type checker tsc to Go. Parent comment

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 ]