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