The main idea is that leases are an easier concept to understand than borrowing and lifetimes? I don't think it will be, it sounds like a concept of similar co

The main idea is that leases are an easier concept to understand than borrowing and lifetimes? I don't think it will be, it sounds like a concept of similar complexity and it won't make it an "easy language". People are scared of Typescript, so a typed language with an extra ownership concept will sound exactly like rust in terms of difficulty. Not that I get the reputation of Rust being hard, even as a complete novice I was able to fight a bit with the compiler and get things working. The gradually typed approach is nice but it just sounds like smarter type inference would get you 99% there while keeping the performance (instead of using runtime checks). Not having unsafe code is both interesting and limiting. I keep all my code safe for my own mental sanity but sometimes having bindings to some big library in c/c++ is convenient (eg Qt or OpenCV).