On Borrow Checking

[Richard (Rikki) Andrew Cattermole]

On 11/05/2025 6:06 AM, Dukc wrote:
> I have hard time believing a successful programming language designer 
> wouldn't just get it. Instead, I'm assuming you have a marketing 
> philosophy that tells you to avoid admitting things like this because 
> it'd be more important to show faith in the language and inspire 
> confidence in it.

There is no need for this language.

Everything that I have seen and know about Walter strongly suggests that 
he doesn't understand where we are diverging.

It may not be helping that to solve this involves slower DFA's and the 
addition of a type qualifier.

I can prove that the former doesn't need to be the default (and I am 
trying to do so by implementing it).