Get the latest tech news
Move semantics in Rust, C++, and Hylo
I just finished reading the paper Borrow checking Hylo. It outlines the basic design of Hylo.
rust models the most important memory-related properties through its two call conventions (passing or borrowing). While writing this article, I learned that the Hylo documentation explicitly addresses differences with C++ and rust. Finally, I want to mention that Hylo is currently in a very early development stage and it is going to take some years to get such concepts established.
Or read this on Hacker News