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


18 bookmarks. First posted by badboy 10 weeks 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
9 weeks ago by indirect
An explanation of Rust's affine types in terms of protocols and guarantees
programming  structure 
10 weeks ago by amitp
interesting look into how rust can be used to enforce high level API constraints and advanced memory management.
rust  programming  api 
10 weeks ago by breyguhn
Using the Rust type system to better enforce invariants in things like timely dataflow. Shows an example of writing an HTTP handler.
rust  types  programming  piperesearch 
10 weeks 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
10 weeks ago by badboy