Alexis King personal blog
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
- Points
- 109
- HN comments
- 25
- Submissions
- 1
- Cited by
- 3 commenters
Programming LanguagesSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 15, 2020 | Types as axioms, or: playing god with static types by goranmoomin | 109 | 25 |
Cited in comments
Linked from 8 Hacker News comments by 3 different people, from Sep 2020 to Jan 2025.
Most recent:
- tbct · Jan 4, 2025
- lexi-lambda · Mar 8, 2023
- lexi-lambda · Mar 7, 2023
- lexi-lambda · Mar 7, 2023
- lexi-lambda · Mar 7, 2023
- lexi-lambda · Mar 7, 2023
