Type-first development (2012) | Hacker News Reader