geo-ant.github.io personal blog
Cursed Linear Types in Rust
Inspired by Jack Wrenn’s post on Undroppable Types in Rust, I set out to see if it’s possible to create types that must be used exactly once. From my understanding, those things are called linear types, but don’t quote me on that1. Unless you are quoting the title of this article which explicitly says linear types… I…
- Points
- 106
- HN comments
- 22
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 27, 2024 | Cursed Linear Types in Rust by todsacerdoti | 106 | 22 |
