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…
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 :)
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,…
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…
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…
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 :)
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,…
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…