Group Borrowing: Zero-Cost Memory Safety with Fewer Restrictions| verdagon.dev
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, but reformulated as a type system instead of a static analysis. This blog post is just going to give the high-level ideas. In follow-up posts I’ll dig into how we can use thi...| smallcultfollowing.com
A contiguous growable array type, written as `Vec`, short for ‘vector’.| doc.rust-lang.org