Blog: The Pain Of Real Linear Types in Rust


Someone mentioned I should consider posting this here, so here it is.

I explain what linear/affine actually means in the context of Rust, and what it would look like to try to integrate them (very possible, some tricky corner cases, but painful for library support reasons). No background other than basic-to-intermediate Rust knowledge is assumed.