Ambrose Bonnaire-Sergeant personal blog
Are unsound type systems wrong?
This is an essay I wrote early-2016. After battling with soundness vs. usability in Typed Clojure for many years, I was starting to reconsider the “obviously wrong” approach of baking unsoundness into the type system from the get-go. I look at some historical examples of intentional unsoundness in type systems, and…
- Points
- 210
- HN comments
- 158
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 7, 2018 | Are unsound type systems wrong? by mpweiher | 210 | 158 |
