Valen's Memory Safety: A New Kind of Borrow Checking

Valen giới thiệu borrow checker mới dựa trên thiết kế Group Borrowing của Nick Smith, nới lỏng quy tắc shared-xor-mutable của Rust thành đảm bảo no-use-after-free linh hoạt hơn. Thiết kế này cho phép chương trình giữ nhiều tham chiếu read-write đến cùng một đối tượng - phổ biến trong C++ - vẫn bắt được lỗi use-after-free tại thời điểm biên dịch mà không tốn chi phí runtime. Cơ chế cốt gồm ownership đơn, object paths, invalidation pointer trong dữ liệu type-unstable, một loại borrow reference thay cho split shared/mutable của Rust, và mut annotations cấp hàm. Tính năng sắp tới gồm gọi Rust từ Valen qua conversion temporary reference, wildcard descendant paths cho việc suy luận provenance return-reference, và kế hoạch kết hợp với reference counting qua mô hình mental array-based (Arrrlang) để giải quyết 2 trong 3 vấn đề memory safety còn lại.