Extending TypeScript’s static type checking to the runtime | Hacker News Reader