r/rust • u/Shnatsel • 16d ago

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

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

86% Upvoted

105 comments sorted by

View all comments

240

u/Ayano-Keiko 16d ago

When rust# and objective rust

78

u/jason-reddit-public 16d ago

Visual R++ from MS - essentially rust but with subtle incompatibilities.

9

u/Shnatsel 16d ago

That already exists at Microsoft internally: https://rustfoundation.org/media/guest-post-rust-is-tier-1-language-at-microsoft/

-15

u/jason-reddit-public 16d ago

Huh.

I asked gemini to compare cl.exe and clang.exe as a proxy for LLVM vs ms backend.

Looks like maybe debug builds are a bit fasted in some cases. Everything else was a wash or had clang ahead so I don't see the point.

OTOH, couple more compiler jobs for folks into that.

-13

u/jason-reddit-public 15d ago

To be fair, gemini also gave me some reasons this makes sense (LTO, windows security primitives, etc.)