[$] Safety in an unsafe world


Joshua Liebow-Feeser took to the stage at
https://rustconf.com
 to describe the methodology
that his team uses to encode
arbitrary constraints in the Rust type system when working on the
<a href="https://en.wikipedia.org/wiki/Fuchsia_(operating_system)" rel="nofollow">
Fuchsia operating system</a>
(https://joshlf.com/files/talks/Safety%20in%20an%20Unsafe%20World.pdf
).
The technique is not unknown to
the Rust community, but Liebow-Feeser did a good job of both explaining the
method and making a case for why it should be used more widely. 


https://lwn.net/Articles/995814/