Evan Ovadia personal blog
What Vale taught me about linear types, borrowing, and memory safety
I've had some pretty surreal experiences while making Vale. 0 The weirdest was when I realized the hidden fundamental truth beneath a lot of the programming languages we use today.
- Points
- 126
- HN comments
- 12
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 1, 2023 | What Vale taught me about linear types, borrowing, and memory safety by generichuman | 126 | 12 |
