Re: DIP60: @nogc attribute

[bearophile via Digitalmars-d]

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