Modular Information Flow through Ownership — mentioned by Animats

Sat, 18 Oct 2025 21:24:43 GMT

Actual paper: [1] This could be useful. I've been plugging away, on and off, on the concept of statically checked back-references for Rust. This is one of the biggest complaints that C/C++ people have about Rust - if A points to B, it's really hard to have a pointer from B to A. This leads to unsafe workarounds. You can do it safely with Rc, RefCell, Weak, borrow(), borrow_mut(), upgrade(), and downgrade(). It's verbose, adds run-time overhead, and there's the potential of panicking at run time on a double borrow. But the expressive power is there. This is work in progress, and I have some…

Paper and discussion history. A mention is not an endorsement.

Modular Information Flow through Ownership · HackerPapers discussions

Modular Information Flow through Ownership — mentioned by Animats