Prototype of Ownership/Borrowing System for D

Timon Gehr timon.gehr at
Sun Dec 1 16:12:33 UTC 2019

On 01.12.19 17:04, Timon Gehr wrote:
>> If you have any links handy that can explain these concepts also 
>> that'd be super appreciated.
>> ...

Of course there's also approaches based on program logics/contracts, e.g.:

In such languages, assertion failures are compile-time errors.

More information about the Digitalmars-d mailing list