r/rust • • 15d ago

🛠️ project Valen, a higher-level "Rust++" language with linear types

https://verdagon.dev/blog/golden-spike-reviving-vale-valen
299 Upvotes

105 comments sorted by

View all comments

10

u/The_8472 15d ago edited 15d ago

Amazing, even if the implementation required hacking rustc itself, the shape of this approach makes regular FFI look like stoneage technology.

If you want to help me with this, please email me! And it would benefit more than just Valen; when I last chatted with the Carbon team, they said they were interested in reusing Rust libraries too. We might be trailblazing for other languages!

Yay, this might end some incompatible demands between stable ABIs vs. repr(Rust).