#memory-safety
-
Valen: References That Remember Where They Point
Evan Ovadia has unveiled a new borrow checker for his Valen language — it tracks the "path" of every reference and catches use-after-free at compile time, while staying more flexible than Rust's.