Temporally safe by default

Dom DiSc dominikus at scherkl.de
Fri Apr 5 06:55:50 UTC 2024


On Saturday, 30 March 2024 at 02:28:02 UTC, Richard (Rikki) 
Andrew Cattermole wrote:
> Introduce a new level to SafeD, ``@tsafe``, for temporarily 
> safe.

I think every step in direction "@safe by default" is an 
improvement. But what we need to avoid is generating another 
attribute that's parallel to the existing @safe.

If what you suggest is in the same line (@system ⊇ @trusted ⊇ 
@tsafe ⊇ @safe), so provides the same but not all of the 
guarantees @safe provides, I'm all for it.
But if @tsafe is independend from @safe like @life: forget it.


More information about the dip.ideas mailing list