Ted Kaminski personal blog
Types are a basic tool of software design (2018)
Static or dynamic, a program's design is written in its types.
- Points
- 103
- HN comments
- 118
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 31, 2024 | Types are a basic tool of software design (2018) by gus_leonel | 103 | 118 |