The Type System of the Future | Hacker News Reader