DIP 1028---Make @safe the Default---Community Review Round 1

[Dennis Cote]

On Friday, 3 January 2020 at 13:43:27 UTC, Manu wrote:
> 'system' is a weird name for 'unsafe'. ...
> We have exactly one opportunity to correct this, and this is it.

I was going to give this a +1, but upon further reflection, I 
think @system is more correct.

The code that would be marked @unsafe is only "potentially 
unsafe". In most cases, the code that would be marked as @unsafe 
is bug-free and perfectly safe to execute.

@system is intended as a warning that this code requires careful 
consideration before making changes. It is a "here be dragons" 
type warning, not an indication that there are problems in this 
piece of code. There could be a better name than @system, but I 
don't think @unsafe is a better choice because it implies there 
"is" a problem with the code rather than just saying "be 
cautious".

Dennis Cote