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)