Wouldn't the borrow checking be simpler when built on top of linear types? | Hacker News

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

Kinrany on Feb 7, 2025 | parent | context | favorite | on: The inevitability of the borrow checker

Wouldn't the borrow checking be simpler when built on top of linear types?

YorickPeterse on Feb 7, 2025 [–]

I don't think the choice of linear vs affine makes much of a difference, but I could be mistaken.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact