Discussion Thread: DIP 1028--Make @safe the Default--Final Review

[Walter Bright]

On 3/26/2020 12:29 AM, Manu wrote:
> There's also the matter that with this DIP we REALLY need @trusted expressions 

() @trusted { expression; } ();

Yes, it's a bit inconvenient, and it's supposed to be inconvenient. Making it 
too convenient means it'll get used far too often.


> I also think that the names make little sense in a @safe-by-default world, and 
> really there should only be @unsafe.

Please, no bikeshedding about the name. We considered @unsafe originally, but 
decided on @system because "unsafe" implies unsafe but that isn't what it means 
in this context, it means "not machine verified to be safe". "system" has the 
right connotations.

We're not changing it. We've got far, far more important things to do than argue 
about the name.


> It's not necessary to have @system AND @trusted.

@safe code isn't supposed to call @system functions directly, because they have 
an unsafe interface.