alcinnz
boosted
The Algebra of Loans in Rust, https://nadrieril.github.io/blog/2025/12/21/the-algebra-of-loans-in-rust.html.
An excellent article by Nadri about discussions happening around teaching the Rust borrow-checker to understand more things than just “shared borrow”/“mutable borrow”. Let's discover `&own T`, `&pin T`, `&pin mut T`, `&pin own T` and `&uninit`.