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