Valen 的新内存安全设计：让引用记住自己指向哪里

📋 概述

Evan Ovadia 介绍了 Valen 语言更宽松的借用检查器，它建立在 Nick Smith 的 Group Borrowing 提案之上：编译器记住引用指向的目标，并据此判断程序是否内存安全。相比 Rust，它可以表达更复杂的借用关系，并且 Valen 只有一种借用引用类型，而不是其他借用检查器常见的那两种。该设计原本为 Mojo 而做但未被采用，如今被独立推进，目标之一是让 Valen 代码能安全调用 Rust 代码。