there is a very nice paper that proposes adding a GhostCell API to Rust, which allows decoupling permissions from data. they show that this API is safe and allows implementing an efficient doubly linked list in safe Rust. it works by the trick of 'branded types' used in other functional languages.
1 Boost
0 Likes
No replies yet
Be the first to share your thoughts.