3 ms·
It's a new language named Vale (https://vale.dev/ https://vale.dev/). The TL;DR from a Rust perspective might be "A Rust that embraces shared mutability by defa
by verdagon 5y ago
It's a new language named Vale (https://vale.dev/ 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.
- tluyben2 5y agoNaming is hard [0] for sure. Guess you decided on this anyway because the existing one is not that popular anyway? Nice work though; very interesting approach and indeed quite a pain with Rust. [0] https://en.m.wikipedia.org/wiki/Vala_(programming_language) https://en.m.wikipedia.org/wiki/Vala_(programming_language)