s/type tuple/template pack/g please

Don x at nospam.com
Fri Aug 23 03:11:06 PDT 2013


On Wednesday, 21 August 2013 at 17:53:21 UTC, Andrei Alexandrescu
wrote:
> There's an inordinate amount of confusion around what we 
> currently call "type tuple" (embodied in std's TypeTuple). I've 
> been furious immediately as I got word that Walter called it 
> that way, and it hasn't failed to make everybody else feel the 
> same over the years.
>
> So: shall we use "template pack" going forward exclusively 
> whenever we refer to that stuff? That way we can unambiguously 
> use "tuple" for "value tuples, i.e. like mini-structs that 
> group values together".
>
> Destroy. I mean criticize.
>
>
>
> Andrei


The minimal name change would be:

TypeSystemTuple  (or is that TypesystemTuple?).

Inside the type system, it is actually a tuple. It's implemented
as a tuple inside the compiler, which is why Walter probably gave
it that confusing name in the first place. It's a tuple in the
compiler world, but that is not exactly the same as a tuple in
the programmer's world. The fact that it is a tuple inside the
compiler, is the reason that it shares so many characteristics
with tuples.

It is a tuple of type system entities (which does include things
other than types). You can use that to create a run-time tuple.


More information about the Digitalmars-d mailing list