I agree. I’ve been developing with Rust since pre 1.0. I call developing in Rust, developing by guess work (or where to put the next clone(), unwrap(), Box<>). It’s nearly impossible to write without the analyzer giving you hints along the way. The only fun I experience is the joy of finally getting the compiler to pass.

So, I’ve seriously been considering designing a language with the same assurances, but with different mechanics. One that is easier to learn and use due to the consistency of syntax patterns used across the breadth and depth of it.