Sounds to me like something to help write rust code. I would be interested as well, my rust projects have been pretty small but I do feel the pain of type changes causing major refactors to be needed
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.
