DIP60: @nogc attribute

bearophile via Digitalmars-d digitalmars-d at puremagic.com
Tue Apr 15 20:58:05 PDT 2014


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


More information about the Digitalmars-d mailing list