Dan Luu personal blog
The empirical evidence that types affect productivity and correctness
There are some pretty strong statements about types floating around out there. The claims range from the oft-repeated phrase that when you get the types to line up, everything just works, to “not relying on type safety is unethical (if you have an SLA)” 1 , " It boils down to cost vs benefit, actual studies, and…
- Points
- 73
- HN comments
- 25
- Submissions
- 1
- Cited by
- 43 commenters
Programming LanguagesSoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 12, 2014 | The empirical evidence that types affect productivity and correctness by luu | 73 | 25 |
Cited in comments
Linked from 53 Hacker News comments by 43 different people, from Nov 2014 to Apr 2026.
Most recent:
- patrickmay · Apr 13, 2026
- patrickmay · Dec 28, 2025
- DeadEarnest · Dec 8, 2025
- logicprog · Nov 20, 2025
- fiddlerwoaroof · Jul 14, 2025
- 0xDEAFBEAD · May 5, 2025
