Evan Ovadia personal blog
Vale's first prototype for immutable region borrowing
Three years, two states, and one pandemic ago, I wrote about a very weird idea: what if the type system could track which data existed before a pure call, to eliminate its memory safety overhead? 0
- Points
- 395
- HN comments
- 139
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 12, 2023 | Vale's first prototype for immutable region borrowing by modernerd | 395 | 139 |
