There is also "Tree Borrows" [0] proposal for Rust, which is aimed at the same p... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Joker_vD 5 months ago \| parent \| context \| favorite \| on: Group Borrowing: Zero-cost memory safety with fewe... There is also "Tree Borrows" [0] proposal for Rust, which is aimed at the same problem. [0] https://perso.crans.org/vanille/treebor/aux/preprint.pdf

SkiFire13 5 months ago [–]

No, Tree Borrows is aimed at defining the semantics of memory accesses. It does not provide a way to statically check whether they are correct, which is what the borrow checker and this proposal aim to do.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact