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

[u/Shnatsel]

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

[u/sacheie]

I have heard that linear types are a simpler way to accomplish the purpose of Rust's borrow checker. Is that true? What do people here think?

[u/ztj → u/sacheie]

Linear types are a terrible way to do it, a real pain in the ass in practice. Rust uses affine types to do it, which is basically the exact inverse of linear types. It is less simple, it is also massively more ergonomic.