Why are gradual static types so great? | Hacker News Reader