Valen's Memory Safety: A New Kind of Borrow Checking

Valen, a new programming language, introduces a flexible borrow checker based on "group borrowing" that aims to achieve memory safety as powerful as Rust's approach while being simpler and more flexible like reference counting or garbage collection. The borrow checker works by having the compiler remember where references point to, using a single kind of borrow reference instead of the two used by traditional borrow checkers. This approach was originally designed by Nick Smith but rejected for Mojo; it later gained adoption in other languages like Google's Carbon and influenced the broader programming language community.