Proof That TypeScript's Type System Is Turing Complete (2017) | Hacker News Reader