TypeScript: Trade-offs in Control Flow Analysis | Hacker News Reader