With today's TypeScript, a lot more crazy stuff is possible now than what was used to demonstrate turing completeness in the issue. While it was surprising in

With today's TypeScript, a lot more crazy stuff is possible now than what was used to demonstrate turing completeness in the issue. While it was surprising in 2017 that TypeScript types could be used to run turing machines, with the addition of conditional types, proper support for recursively mapped types, string pattern matching and property renaming, it no longer surprises me at all. Heck, someone implemented a static string parser + compiler + VM on top of TypeScript types.