I'd say Vale's thesis is "Rust level performance without the pain." By making our borrow checker a lot more flexible with shared mutability, we're able to lower

I'd say Vale's thesis is "Rust level performance without the pain." By making our borrow checker a lot more flexible with shared mutability, we're able to lower the learning curve and architectural restrictions significantly. This could make it a better solution for servers and games, and opens the doors to things like GUI and apps, where Rust could never really fit well. Though, it's a lot more than that, Vale's also doing some pretty crazy things with concurrency [0], determinism, higher raii [1], and region isolation, all of which will help with preventing and detecting bugs. [0] https://verdagon.dev/blog/seamless-fearless-structured-concurrency https://verdagon.dev/blog/seamless-fearless-structured-concu... [1] https://verdagon.dev/blog/higher-raii-7drl https://verdagon.dev/blog/higher-raii-7drl