The Theory of Type Hints (2014) | Hacker News Reader