In relation with the borrow checker, I think the complications on Rust are overblown at the end: Most of the complexity of Rust is in the interaction of all the

In relation with the borrow checker, I think the complications on Rust are overblown at the end: Most of the complexity of Rust is in the interaction of all the others features AND when sometimes it interfere with the borrow checker. The borrow/mutability checker are fairly easy to use (as long you stay on simple Rust: Only enum, structs, functions and not get with traits + generics + lifetimes annotations, and today: async). Playing with the simple subset of Rust the borrow checker is fairly easy to get. I don't think nobody get stuck at this stage, only when start gettin ambitious and is not clear how ALL the features must intermix. If the language is truly simple, I think it will work wonders.