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