4 ms·
I'm currently designing an "Automatic Rust", something high-level that will automatically implement the usual Rust patterns (generational indices, the occasiona
by verdagon 5y ago
I'm currently designing an "Automatic Rust", something high-level that will automatically implement the usual Rust patterns (generational indices, the occasional Vec or arena, and something I call a LifeCell), so we have fast and memory safe code with no run-time GC.
Rust's biggest challenge (IMO) is that the borrow checker makes the code very brittle... many changes which should be small end up causing widespread refactors. Not great for software engineering sometimes. Perhaps this approach will solve that.
Nailing down the perfect balance of all the techniques is challenging, but it's fun and looking promising =)
- farresito 5y agoI would be interested in hearing more about it. Is it a completely new language? Or a library that helps writing Rust?
- netizen-936824 5y agoSounds 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 agoIt'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)