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