What Vale taught me about linear types, borrowing, and memory safety

I feel like I&#x27;ll have to read up some more to have the background to fully understand the article but one thing I wanted to point out is a difference between `fn rand_int(rand: &amp;mut Random) -&gt; i64` and `fn rand_int(ran: Random) -&gt; (i64, Random)`, at least in Rust. With the version that moves `Random`, the return type is bigger and may spill over from registers to the stack which may cause a significant slow down, more than the code of Vale&#x27;s generation check, I suspect.<p>I&#x27;ve run into this with my parser combinator library, winnow [0], and am considering switching from the nicer functional model of moving to the more imperative model of `&amp;mut` [1].<p>[0]: <a href="https:&#x2F;&#x2F;docs.rs&#x2F;winnow&#x2F;latest&#x2F;winnow&#x2F;" rel="nofollow">https:&#x2F;&#x2F;docs.rs&#x2F;winnow&#x2F;latest&#x2F;winnow&#x2F;</a><p>[1]: <a href="https:&#x2F;&#x2F;github.com&#x2F;winnow-rs&#x2F;winnow&#x2F;issues&#x2F;72">https:&#x2F;&#x2F;github.com&#x2F;winnow-rs&#x2F;winnow&#x2F;issues&#x2F;72</a>

This is really interesting verdagon, thank you.<p>I wrote a multithreaded reference passing implementation that runs at runtime. If you have the reference you can use it, the condition is that you have to give it back when you&#x27;re finished with it.

can&#x27;t believe he managed to get though this entire article without once mentioning the artifact by name. its called the rosetta stone and its currently held in the ancient history museum of London. definitely worth seeing in person.

&gt; If you&#x27;ve used a language like Rust before, this might feel familiar: own-lending is semantically equivalent to borrowing a &amp;mut Random and passing it around.<p>Is this a typo? I trust the author meant `Random` by move, or are they speaking to low level behavior where moves are elided to nothing where possible (and thus looks like a borrow)