D perfomance

welkam wwwelkam at gmail.com
Tue Apr 28 19:01:18 UTC 2020


On Tuesday, 28 April 2020 at 13:44:05 UTC, John Colvin wrote:
> On Monday, 27 April 2020 at 14:26:50 UTC, Timon Gehr wrote:
>>
>> No, it is not analogous, because only @system or @trusted code 
>> can get that wrong, not @safe code. @safe code itself is 
>> (supposed to be) verified, not trusted.
>
> the existence of any overly @trusting code renders @safe code 
> liable to cause memory safety bugs. While the invalid accesses 
> won't occur inside @safe code, they can definitely be caused by 
> them, even without the buggy @safe code calling any @trusted.
>
> Some day I'll have time to write up all my (many, many pages 
> of) notes for this stuff... would have been for dconf, I guess 
> now for dconf online?

Would be eager to listen.


More information about the Digitalmars-d mailing list