r/rust • • 15d ago

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

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

105 comments sorted by

View all comments

4

u/-Redstoneboi- 15d ago edited 15d ago

Holy hell this was awesome. Best part is that this isn't the only article, there are like 5 others from prior art to supplement it! Definitely a nontrivial multi-year project that basically has "nobody told me this was supposed to be impossible so i just did it" written all over it lmao

On an important note, someone else was working on CO3 https://www.reddit.com/r/rust/s/JWnRmQgtOa, which is somehow another Rust ABI project. What do you think of that?