Trusted Manifesto

Steven Schveighoffer via Digitalmars-d digitalmars-d at puremagic.com
Mon Feb 9 21:10:09 PST 2015


On 2/10/15 12:06 AM, Dicebot wrote:
> On Tuesday, 10 February 2015 at 04:05:35 UTC, Andrei Alexandrescu wrote:
>> On 2/9/15 8:03 PM, Zach the Mystic wrote:
>>> You could put the 'trusted' template right in object.d, to save people
>>> the awkward burden of importing it from std.conv all the time. But that
>>> would be a language change, of sorts.
>>
>> We won't define it. Instead we'll go with Steve's idea: () @trusted =>
>> expr. It's not much longer and it's a teensy bit more awkward -
>> exactly what the doctor prescribed. -- Andrei
>
> Erm. This was exactly how all those trustedFoo() nested functions have
> appeared - we wanted to localized unsafe operations with `() @trusted
> {}` but it wasn't properly inlined by DMD.

Perhaps an explosion of added delegate calls will motivate people to fix 
it ;)

FWIW, I hate this kind of optimization based on a limitation.

-Steve


More information about the Digitalmars-d mailing list