dethinking

3 ms·

1. 1.▲
   by dethinking 7y ago

   TIL, and since it’s buried a bit: > A capsule is a Rust struct and associated functions. Capsules interact with each other directly, accessing exposed fields and calling functions in other capsules. Trusted platform configuration code in
2. 2.▲
   by dethinking 7y ago

   I think I originally had “piece of a type signature”, but I didn’t actually want to figure out which piece, so I fudged it. The point is well taken, I oughtn’t pretend I have a Rust parser in my head :)
3. 3.▲
   by dethinking 7y ago

   Yes, it’s a type signature. It looks typical of Rust internals, but it would be very verbose for user code. You’re not wrong to find it illegible; apart from the syntax, that phrase invokes the concepts of lifetimes, mutability, borrowing,
4. 4.▲
   by dethinking 7y ago

   Not sure if you caught it, but Ralf does address this somewhat in the thread: > Good question. We even had a sketch of a formal model for pinning, but that model was always about the three separate pointer types (PinBox<T>/Pin