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