3 ms·
>something similar to Rust lifetimes, but weaker Why weaker? My understanding is that linear types provide a stronger guarantee than Rust's affine types: linea
by logicchains 9y ago
>something similar to Rust lifetimes, but weaker
Why weaker? My understanding is that linear types provide a stronger guarantee than Rust's affine types: linear types guarantee that a value is used once, while affine types only guarantee that a value is used no more than once.
- Jweb_Guru 9y agoLifetimes are not the same as linear (or affine) types... they're related to "fractional permissions" in the upcoming formalism (and also related to region types found in many other systems, which can be partially emulated with monads).