Boehm-Demers-Weiser conservative C/C++ Garbage Collector

Re:Boehm-Demers-Weiser conservative C/C++ Garbage Collector by klodolph on Sunday January 21, 2024 @12:39PM (#39080597)

> It's interesting how many strategies Rust tried before settling on linear types.

Rust doesn’t actually have linear types. I’m not sure what Rust’s types are called (affine?), but linear types are the “must be consumed” (can’t leak) types, and Rust doesn’t have any support for this.

Rust’s guarantee is that you MUST NOT use an object after dropping it. Linear types would add the additional requirement that you MUST drop the object.

[ Parent | on HN ]

Re:Boehm-Demers-Weiser conservative C/C++ Garbage Collector by steveklabnik on Sunday January 21, 2024 @03:53PM (#39082940)

Rust's types are affine, yes. Sometimes some people don't draw the distinction between the two and call both "linear." But "affine" is more precise.

[ Parent | on HN ]