Lawrence C. Paulson personal blog
Types versus sets (and what about categories?) (2022)
A recent Twitter thread brought home to me that there is widespread confusion about what types actually are, even among the most prominent researchers. In particular: are types the same thing as sets ? At the risk of repeating some of my prior posts, perhaps it’s time for a little history about type theory, set theory…
- Points
- 101
- HN comments
- 67
- Submissions
- 2
- Cited by
- 0 commenters
Math & AlgorithmsProgramming Languages2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 31, 2023 | Types versus sets (and what about categories?) (2022) by matt_d | 101 | 36 |
| Mar 16, 2022 | Types versus sets (and what about categories?) by carnitine | 79 | 31 |
