Why type-first development matters | Hacker News Reader