Re:Rust as a gateway drug to Haskell
by logicchains on Wednesday June 14, 2017 @09:49AM
(#14552661)
>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.
Re:Rust as a gateway drug to Haskell
by Jweb_Guru on Wednesday June 14, 2017 @10:06AM
(#14552783)
Lifetimes 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).
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.