Under-the-hood of type systems (e.g. TypeScript) | Hacker News Reader