It's a new language named Vale (https://vale.dev/). The TL;DR from a Rust perspective might be "A Rust that embraces shared mutability by default, automatically borrows things, and then adds an opt-in region borrow checker."
The core insight is that Rust's memory safety and speed mostly don't really come from the borrow checker, the borrow checker just showed us the way. We can combine the resulting patterns in different ways now.
The core insight is that Rust's memory safety and speed mostly don't really come from the borrow checker, the borrow checker just showed us the way. We can combine the resulting patterns in different ways now.