Borrow Checking and Ownership Transfer

[Walter Bright]

On 5/10/2025 6:07 AM, Derek Fawcus wrote:
> D itself already has 3 different types of pointer: references, pointers, 
> arrays/slices.

Plus `this`, lazy, delegates, associative arrays and class references.

They were part of the initial design of D, the language grew up around them.

They've also made for making dip1000 very complex to implement.

Trying to fold in a new pointer type is a huge change.

(If I was doing a do-over for D, I'd look hard at dumping about half of those. I 
tried to get rid of lazy a few years ago, but got a lot of pushback on it.)

Microsoft's Managed C++ has regular pointers and gc pointers, distinguished with 
different syntax. It was a failure in the marketplace.