Would the ownership model make D lang as complicated as Rust?

Tue Nov 17 11:34:01 UTC 2020

On Tuesday, 17 November 2020 at 10:54:20 UTC, IGotD- wrote:
> On Monday, 16 November 2020 at 22:39:14 UTC, Piotrek wrote:
>>
>> And according to my (limited) academic knowledge, complete
>> compile time automatic memory management isn't simply possible.
>> (You have to use hacks like weak refs and other not fancy 
>> staff).
>
> Correct and Rust itself is a proof of that.

Rust is not proof of that. However, it is often difficult to 
prove properties of a graph that is transformed.