Notes on the expression problem and type design (2018) | Hacker News Reader