linear types

The Golden Spike, and Resurrecting the Vale(n) Programming Languageverdagon.dev

Evan Ovadia announces Valen, a fork of his Vale language aimed at seamless Rust interop with features like linear types, group borrowing, and cross‑language generics. He outlines current capabilities, open challenges, and a lazy AST‑signature approach to bridge the Rust ABI gap.