What to know before debating type systems · HackerTrans