4 ms·

I would be interested in hearing more about it. Is it a completely new language? Or a library that helps writing Rust?

• netizen-936824 5y ago
  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
• 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 ago
    Naming 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)