Hi, this is boats. 1. If you don't read and comment on Rust RFCs, this post is probably not relevant to you. 2. This post is not even a suggestion for Rust to

Hi, this is boats. 1. If you don't read and comment on Rust RFCs, this post is probably not relevant to you. 2. This post is not even a suggestion for Rust to do anything, it's about how if you want to make a certain kind of change, the barrier to do so backward compatibly is very high. 3. A lot of Rust contributors have recently talked about how they think Rust should have linear types (which involves adding a trait like "Leak"). Some of the commentary suggests people don't realize how big of a hurdle there is to doing this. This is a detailed explanation of how difficult it is. I don't know why my blog posts show up on the front page of Hacker News all the time!