Ante: A new way to blend borrow checking and reference countinga month agohttps://verdagon.dev/blog/ante-blending-borrowing-rcAnte 将引用计数和借用检查相结合,无需运行时崩溃,允许灵活的快速原型设计和逐步优化。与 Rust 的 Rc 配合 RefCell 或 Swift 的借用系统不同,Ante 避免了可变对象的运行时错误和开销。Ante 通过 'shared' 类型支持共享可变性,利用形状稳定性实现对引用计数数据的安全可变借用。Ante 中的联合类型(Unions)需要 'uniq' 引用以实现安全可变访问,并通过编译时检查防止别名问题。更多...