Re: Wait, what? What is AliasSeq?

[Dicebot via Digitalmars-d]

On Wednesday, 15 July 2015 at 15:29:25 UTC, Andrei Alexandrescu 
wrote:
It doesn't confuse me. We have type tuples and expression 
tuples defined
in the spec. An alias tuple can have both expressions and 
types. It's
not that confusing. What was confusing is that a TypeTuple was 
not a
type tuple as defined in the spec.

I agree.

Andrei

I want to point out that statement "an alias tuple can have both 
expressions and types" is somewhat between imprecise and just 
wrong with current compiler implementation. `X!(42, int, foo)` 
doesn't hold aliases to value, type and symbol (assuming X(T...)) 
- it does hold actual value and type, with only symbol being 
aliased. Actual alias tuple would be defined as `X(alias a, alias 
b, alias c)` and is somewhat different thing.

You may want to ignore that difference for simplicity sake but it 
needs to be explicitly acknowledged.