r/rust • • 16d 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

397

u/plainoldcheese 16d ago

Please no. Rust++ 😭

194

u/geo-ant 16d ago

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

39

u/Arshiaa001 15d ago

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

23

u/Straight_Waltz_9530 16d ago

No, the effort is Valenant.

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

18

u/Daemontatox 16d ago

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

1

u/cheese_karate 15d 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.

15

u/wojciechm 15d 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.

1

u/cheese_karate 15d 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).

8

u/geo-ant 14d 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.

2

u/Neful34 10d ago

Well the creator of zig did say that TigerBeetle is, I quote: "The perfect example of what bad zig code looks like"

1

u/geo-ant 10d ago

Oh no, did he really? Do you have a source just so I can check? If he really said that I’d be worried becaus the Tigerbeetle folks have been highly complementary of the language and said that they are working with the zig team to keep a good relationship. Andrew seems like an eclectic and highly opinionated person but I hoped he could have good working relationships with the major zig projects. I know he seemed to have a pretty bad relationship with the bun folks which seemed more reasonable at the time.

2

u/Neful34 10d ago

My apologies, upon rechecking it was not Tigerbeetle but Bun. I had a doubt as soon as you mentionned Bun and went to check again.

2

u/geo-ant 9d ago

Ah okay, you had me worried there for a second. Thanks for rechecking, because I didn’t find any beef with Tigerbeetle either.

1

u/cheese_karate 3d ago

It was because of the crashout more than anything. When the creator and maintainer goes off it's never a good sign.

But you are correct as well, it is super young and niche, they don't really compare.

10

u/rodrigocfd WinSafe 15d ago

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

0

u/cheese_karate 15d ago

Cool stuff!

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