Prototype of Ownership/Borrowing System for D

Thu Nov 21 10:48:55 UTC 2019

On Thursday, 21 November 2019 at 08:18:56 UTC, Johannes Pfau 
wrote:
> TypeScript does that. In addition, it disallows dereferencing 
> if the pointer is in the undefined state. So it forces you to 
> check a pointer before you dereference it. I always found that 
> to be quite useful.

Yes, but TypeScript is using flow-typing.

I guess D could switch to flow-typing somehow, but I am not sure 
if it is a good idea to do so without doing it in a more 
wholesome manner.