What to know before debating type systems | Dark Hacker News