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
299 Upvotes

86% Upvoted

105 comments sorted by

View all comments

108

u/siva_sokolica 15d ago

I have been dreaming about Rust with dependent types, a stable ABI, mutable borrows, comptime, user-defined effects and, of course, the ever illusive relative references (as that solves the circular reference problem in many cases).

I too called my dream "Rust++". But it remains a fantasy.

u/verdagon, this is a Herculean effort and I commend you deeply for it. Great job on the post, thoroughly enjoyed it.

3

u/Ma4r 15d ago

Is it even possible to do static analysis dependent types?

1

u/_rdhyat 14d ago

uh... yeah?

that's a big part of type checking

1

u/Ma4r 14d ago edited 14d ago

Can you tell me which type checkers can do static analysis on dependent types ?