Simplification of @trusted
max haughton
maxhaton at gmail.com
Wed Jun 16 22:10:38 UTC 2021
On Wednesday, 16 June 2021 at 22:02:18 UTC, Bruce Carneal wrote:
> On Wednesday, 16 June 2021 at 21:47:55 UTC, jmh530 wrote:
>> On Wednesday, 16 June 2021 at 21:22:32 UTC, Walter Bright
>> wrote:
>>> [snip]
>>>> [...]
>>>
>>> The idea is to encourage programmers to think about
>>> organizing code so that there are clear separations between
>>> safe and system code. Interleaving the two on a line-by-line
>>> basis defeats the purpose.
>>
>> This is a better argument against @trusted blocks within @safe
>> blocks than it is against @system blocks within @trusted code.
>
> I'd love to see those gone as well but it could be hard to get
> there from here.
>
> It's easier to validate simply nested rather than finely
> interwoven dependencies.
>
> I hope we can start reversing course rather than moving further
> down the "convenience over practical safety" path.
Where do you make the distinction between convenience and
practicality in this context?
More information about the Digitalmars-d
mailing list