DIP 1021--Argument Ownership and Function Calls--Final Review
Olivier FAURE
couteaubleu at gmail.com
Tue Sep 24 08:30:07 UTC 2019
On Monday, 23 September 2019 at 22:13:11 UTC, Walter Bright wrote:
> Otherwise there is simply no way to incrementally adopt @live.
Yes, that's the problem.
> @live rules only apply to the internals of the @live function.
> At some point there must be a presumption that functions that
> call the @live function or the functions the @live function
> calls conform at least to the @live function interface.
The problem is, since the compiler can't check that non- at live
functions conform to the @live invariants, it has to trust the
developer, which severely weakens @safe (if nothing else, because
it makes it possible for someone to do a memory corruption in a
codebase with no @system or @trusted functions).
More information about the Digitalmars-d
mailing list