Tuple/TypeTuple etc.

[Dicebot]

On Friday, 16 August 2013 at 18:10:29 UTC, Ali Çehreli wrote:
> On 08/16/2013 09:27 AM, H. S. Teoh wrote:
>
> > The so-called "typetuple" (what dmd calls a "tuple") is a
> compile-time
> > construct that can contain types, aliases, compile-time
> values, etc.,
> > that only exist at compile-time.
>
> They are all symbols, right? And symbols live only at compile 
> time.

Not really. At least as far as my understanding goes, for 
example, integer literals are not symbols. Symbols usually 
uniquely identify something (and are possibly emitted to object 
files) and this is not the case for compile-time tuple elements. 
Symbols are most closely related to `alias` parameters (it does 
have inconsistencies of its own though).