Using type inference to understand natural languages | Hacker News Reader