Ben Fiedler personal blog
Typing Is Hard
Type checking is the process of taking a given program in some programming language and working out whether all variables and expressions have the correct types, i.e. strings are assigned to strings, arithmetic expressions involve only numbers, etc. Some languages also offer type inference , tasking the compiler with…
- Points
- 190
- HN comments
- 130
- Submissions
- 1
- Cited by
- 8 commenters
Tools & ProductivityLife, Learning & Writing2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 15, 2021 | Typing Is Hard by pansa2 | 190 | 130 |
Cited in comments
Linked from 9 Hacker News comments by 8 different people, from May 2021 to Jan 2024.
Most recent:
