> The concept of mutability cuts across the language and I don't see how you do it without bifrucating an already complicated language. How hard would it reall

> The concept of mutability cuts across the language and I don't see how you do it without bifrucating an already complicated language. How hard would it really be for someone to write a static analyzer for C++ that ensures there is only one non-const reference/pointer to an object active at any given time? Throw in an object lifetime tracker for allocs and you'd have pretty safe C++ without having to rewrite a billion line of code.