False promises of type-safety | Hacker News Reader