Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Affine types are "may use" and linear types are "must use," yeah. That is, linear types are stronger.

See https://faultlore.com/blah/linear-rust/ for a (now pretty old but still pretty relevant, I think) exploration into what linear types would mean for Rust.





Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: