Prototype of Ownership/Borrowing System for D

[Timon Gehr]

On 24.11.19 13:30, Dennis wrote:
> ...

Nice summary and collection of references. Thanks!

> 
> The current path seems to go towards a three-way split of D projects 
> between memory management styles:
> - ...
> - ...
> - @live for code like Rust

I agree with everything but this. For instance, Rust does not do any 
lifetime checking for raw pointers. In Rust, you can't access raw 
pointers in safe code. This makes sense for Rust, because there is no 
built-in GC or @safe mutable global variables acting as the default 
owners of built-in pointers. In D, @safe code can manipulate raw 
pointers just fine, because of the GC. Lifetime checking for raw 
pointers still does not make sense in @safe code though.