Type inference


New top story on Hacker News: Type inference