Single Ownership and Memory Safety Without Borrow Checking, RC, or GC
verdagon.dev
verdagon.dev
Or - if it does work everywhere - why it hasn't been adopted?
It seems to me that including an ownership role in the data type, and having an explicit ownership transfer instruction, is a massive simplification.