More evidence that memory safety is the future for programming languages

Timon Gehr timon.gehr at gmx.ch
Sun Mar 29 02:05:06 UTC 2020


On 28.03.20 21:24, Walter Bright wrote:
> @live Ownership/Borrowing system

@live is not an Ownership/Borrowing system, even though it is true that 
it is based on concepts related to ownership and borrowing.

An Ownership/Borrowing system enforces ownership semantics in @safe 
code, @live does not. It is a linter for @system and @trusted code with 
no safety guarantees.


More information about the Digitalmars-d mailing list