What to know before debating type systems | Hacker News Reader