Re:Mozilla Welcomes the Rust Foundation
by mathstuf on Wednesday February 10, 2021 @01:21PM
(#26092871)
You mean "affine types". Linear types are required to be used while Rust allows one to manually drop a type. This allows you to get the next state and do nothing with it while a linear type would compel you to move to the next state.
Surely one can code in such style in C++, but it is very unnatural there with a lot of boilerplate, so one just would not consider it typically.