Niko Matsakis (Baby Steps) personal blog
Borrow checking without lifetimes
This blog post explores an alternative formulation of Rust’s type system that eschews lifetimes in favor of places . The TL;DR is that instead of having 'a represent a lifetime in the code, it can represent a set of loans , like shared(a.b.c) or mut(x) . If this sounds familiar, it should, it’s the basis for polonius…
- Points
- 115
- HN comments
- 57
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 4, 2024 | Borrow checking without lifetimes by todsacerdoti | 115 | 57 |
