Alexis King personal blog
Names are not type safety
Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…
- Points
- 262
- HN comments
- 202
- Submissions
- 2
- Cited by
- 6 commenters
Programming LanguagesSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 2, 2020 | Names are not type safety by azhenley | 262 | 125 |
| Aug 3, 2025 | Names are not type safety (2020) by azhenley | 56 | 77 |
Cited in comments
Linked from 10 Hacker News comments by 6 different people, from Jun 2021 to Sep 2026.
Most recent:
- Rusky · Sep 27, 2026
- hutao · Feb 21, 2026
- masklinn · Apr 25, 2024
- lexi-lambda · Mar 8, 2023
- lexi-lambda · Mar 7, 2023
- lexi-lambda · Mar 7, 2023
