Types versus sets (and what about categories?) - https://news.ycombinator.com/item?id=30697421 - March 2022 (31 comments)
Types versus sets (and what about categories?) - https://news.ycombinator.com/item?id=30697421 - March 2022 (31 comments)