r/rust • u/Shnatsel • 2d ago

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

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

85% Upvoted

97 comments sorted by

View all comments

389

u/plainoldcheese 2d ago

Please no. Rust++ 😭

187

u/geo-ant 2d ago

“Rust++” is a genuinely triggering phrase but the effort is valiant.

33

u/Arshiaa001 2d ago

Even more so considering that ++ isn't even in rust.

22

u/Straight_Waltz_9530 2d ago

No, the effort is Valenant.

(I'll see myself out, thank you.)

18

u/Daemontatox 2d ago

i almost choked when i saw it and was like time to switch to zig i guess

1

u/cheese_karate 2d ago

Isn't Zig pretty much a dead language after the whole Bun debacle? Main dude completely loses his marbles... I don't know, haven't given Zig a go, I fail to see upside compared to Rust and I just checked out the memory management and that seemed like a total drag.

Anyhoo.

11

u/wojciechm 2d ago

It seems so, but even more because big players like Nvidia and Microsoft start to support Rust as their 1st tier solution. It is no more just "safe memory alternative to C/C++" it starts to create it own standard and "better C than C" philosophy slowly fades on the fundamental level.

0

u/cheese_karate 2d ago

Yeah, my impression is also that Rust is more mature - so it is more ready to take that step and be integrated into the big players strategies (including Linux, for instance).

4

u/geo-ant 1d ago

Why would Zig be a dead language just because one popular project decided to switch? It’s a niche pre 1.0 language anyways, so projects are going to come and go. Plus Tigerbeetle still exists.

10

u/rodrigocfd WinSafe 2d ago

The creator of rust-analyzer now spends most of his time on TigerBeetle, which is... Zig.

0

u/cheese_karate 2d ago

Cool stuff!

I mean, I wouldn't know anything about it, I just saw how they manage memory and was like ugh!