As far as I understand there are no new ideas in Rust. Linear types (for example) was invented in academia a long time ago. So perhaps a more accurate statemen

As far as I understand there are no new ideas in Rust. Linear types (for example) was invented in academia a long time ago. So perhaps a more accurate statement would be that it is the first practical programming language to implement those ideas? But what about F* (F-star) for example? That is a language used by Microsoft to write a proven correct network stack used in industry (and Firefox I think). That seems very practical to me.