Michael Hicks personal blog
What is type safety?
Type safety is the property of a programming language, ensuring its programs are well defined and creating a foundation for reasoning.
- Points
- 106
- HN comments
- 70
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 5, 2014 | What is type safety? by tenslisi | 106 | 70 |
