> GHC'ss linear types don't give you uniqueness types in the same way rust does
Why, though?
Is it because GHC's linear types are a superset of Rust's linear types? I guess that could rule out some features the compiler is able to prove (or not).
Why, though?
Is it because GHC's linear types are a superset of Rust's linear types? I guess that could rule out some features the compiler is able to prove (or not).