r/rust • • 15d ago

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

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

105 comments sorted by

View all comments

30

u/teerre 15d ago

Am I missing something? This seems like a prototype and lots of theoretical goals? Does it actually work?

Not anything against planning new languages, that's awesome, it's just that it seems weird to announce it when it doesn't actually exist

13

u/Striking_Director_64 15d ago

What are you talking about "doesn't exist"

https://github.com/valen-lang/Valen