Is static type checking a redundant testing mechanism? | Hacker News Reader