> Not that interesting as a language anymore, but more useful in practice.

I think Rust is still pretty interesting. The borrow checker is extremely intricate and is completely unlike anything seen in any industry language so far.

"a better type system" glosses over a lot, though. if all rust can do is bring linear typing and algebraic datatypes to c that will be a significant achievement.

I thought the same, piling up on the removal of typestate which was the weirdest/most interesting thing in rust.

I wish there was something like C but with a better type system, I don't think rust will fill that gap. There are still too many inconsistencies between abstractions with overhead and without making it a C++ replacement if anything.

> There are still too many inconsistencies between abstractions with overhead and without making it a C++ replacement if anything.

For example?