Ante: A New Way to Blend Borrow Checking and Reference Counting

Re:Ante: A New Way to Blend Borrow Checking and Reference Co... by jfecher on Tuesday June 30, 2026 @08:42PM (#48741106)

Creator of Ante here, Ante inherits Rust's Send/Sync for thread-safety. `mut` refs and `Rc` which provides shared mutability don't implement either and thus can't be shared across threads. So shared mutability is only within a single thread.

[ Parent | on HN ]

Re:Ante: A New Way to Blend Borrow Checking and Reference Co... by alexisread on Wednesday July 01, 2026 @03:26AM (#48743364)

OOI why did you go with RC at the lattice bottom rather than generational refs? Not sure how in touch you are with the author of Vale?

What would be good is if effects are used to discharge the ownership obligations, that should dovetail well in Ante. BTW I appreciate the clear effects handling in Ante, very nice!

[ Parent | on HN ]

Re:Ante: A New Way to Blend Borrow Checking and Reference Co... by nu11ptr on Wednesday July 01, 2026 @05:51AM (#48744410)

> Not sure how in touch you are with the author of Vale?

FYI - this article is written by the author of Vale

[ Parent | on HN ]