Hacker News Reader

Just waiting until TypeScript's type system becomes so powerful that inference accidentally becomes Turing-complete.

Apparently, Typescript type system is already Turing-complete: https://github.com/Microsoft/TypeScript/issues/14833