three things tagged “typescript”
The argument here being that, since the ‘general form’ of the conjecture is undecidable, TypeScript’s type system is undecidable. How does one even think of doing these things?
I love Typescript, but it isn’t nearly ambitious enough. It would be vastly improved with an
Mad Lad. Via HN. (Cached)