Valen实验语言借借用检查器允许可变别名并瞄准Rust互操作
RecodeX 重构消息,开发者Evan Ovadia推出的实验性编程语言Valen,其借用检查器通过追踪引用指向的位置,允许可变别名存在。该语言建立在Nick Smith提出的分组借用(group-borrowing)方案之上,并将与Rust的互操作性作为设计目标。
持续追踪Valen内存安全相关报道与进展。
关注仅保存在当前浏览器和域名中,无需登录,不会自动跨设备同步。RecodeX 重构消息,开发者Evan Ovadia推出的实验性编程语言Valen,其借用检查器通过追踪引用指向的位置,允许可变别名存在。该语言建立在Nick Smith提出的分组借用(group-borrowing)方案之上,并将与Rust的互操作性作为设计目标。
RecodeX 重构消息,编程语言项目 Valen 公布了一种新型借用检查机制,用于在编译阶段保障内存安全。该机制以借用检查为核心,目标是在不依赖垃圾回收的前提下防止内存错误。目前公开信息仅涉及机制本身,具体实现细节与发布时间尚未公布。