DIP60: @nogc attribute

[Meta via Digitalmars-d]

On Wednesday, 16 April 2014 at 03:58:08 UTC, bearophile wrote:
> Meta:
>
>> //TypeTuple or just bare list?
>> alias everything = TypeTuple!(@safe, nothrow, pure, 
>> @gc(false));
>>
>> or
>>
>> alias everything(Attrs...) = Attrs;
>>
>> I think that the Microsoft language with effect algebra 
>> (Bearophile has mentioned it before) does this. E.g., pure is 
>> actually:
>> alias pure: noeffects nothrow //... (I don't remember the 
>> actual syntax)
>
> In Koka those are not lists but sets of effects.
>
> Bye,
> bearophile

Yes, but it's similar to the Koka concept, adapted for D. Perhaps 
D could lift the concept from Koka without any changes, I don't 
know.