Bringing Static Types to Dynamic Languages | Hacker News Reader