A hammer you can only hold by the handle - Systems Group Blog


18 bookmarks. First posted by badboy 14 days ago.


Today we’re looking at the rust borrow checker from a different perspective. As you may know, the borrow checker is designed to safely handle memory allocation…
from instapaper
8 days ago by indirect
An explanation of Rust's affine types in terms of protocols and guarantees
programming  structure 
13 days ago by amitp
interesting look into how rust can be used to enforce high level API constraints and advanced memory management.
rust  programming  api 
13 days ago by breyguhn
Using the Rust type system to better enforce invariants in things like timely dataflow
rust  types  programming 
14 days ago by mechazoidal
Today we’re looking at the rust borrow checker from a different perspective. As you may know, the borrow checker is designed to safely handle memory allocation…
from instapaper
14 days ago by badboy