The promise of static typing | Hacker News Reader