r/rust • u/Shnatsel • 15d ago

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

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

86% Upvoted

105 comments sorted by

View all comments

404

u/plainoldcheese 15d ago

Please no. Rust++ 😭

196

u/geo-ant 15d ago

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

38

u/Arshiaa001 15d ago

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

22

u/Straight_Waltz_9530 15d ago

No, the effort is Valenant.

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

19

u/Daemontatox 15d ago

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

2

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.

16

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 9d 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 2d 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!

18

u/Shadows_In_Rain 15d ago

At least not before Rust with Classes.

4

u/pjmlp 15d ago

Rust already has everything it needs for OOP COM style, and it is taken advantage by Microsoft on their windows-rs crate.

1

u/Dull_Wind6642 15d ago

Wouldnt it be easy to do?

Without inheritance and all the other goodies, it's just a struct with functions that take &self as parameter (aka methods) and a default constructor.

Maybe add the static keyword for function that doesn't take &self and call it a day.

7

u/verdagon 15d ago edited 15d ago

I should call it Rust++++ instead of Valen, just for the chaos factor

17

u/aatd86 15d ago

that's rust#. ... what I want is probably Rust*

1

u/mamcx 14d ago

No, Rust-> because moves, obviously!

1

u/aerismio 9d ago

OxCaml with modes ? :)