Navigation
Search
|
[$] Safety in an unsafe world
Tuesday November 5, 2024. 04:16 PM , from LWN.net
Joshua Liebow-Feeser took to the stage at
RustConf to describe the methodology that his team uses to encode arbitrary constraints in the Rust type system when working on the Fuchsia operating system (slides). 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/
Related News |
25 sources
Current Date
Nov, Thu 21 - 12:56 CET
|