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.
