| ▲ | sebastianmestre 2 hours ago | |
IIRC this Verdagon guy had a language called Vale... is Valen a rename or a new project? Edit: tfa makes it clear it's a separate project | ||
| ▲ | verdagon an hour ago | parent [-] | |
Hi! Kind of both. Even though Valen reuses 90% of the Vale compiler, its approach (Rust interop, borrow checking with mutable aliasing, etc.) is so different that it really needed a new name. Also, I really like where Vale ended up, Vale's generational references + region borrowing was a truly weird and unusual memory safety blend. I didn't want that combination to be lost to time, so I wanted "Vale" to keep referring to that. | ||