Types versus sets (and what about categories?) (2022) by from Hacker News on 2023-08-31 21:39 (#6EBST) Comments