DIP54 : revamp of Phobos tuple types

[Andrei Alexandrescu]

On 12/29/13 8:07 PM, Timon Gehr wrote:
> On 12/30/2013 04:44 AM, Andrei Alexandrescu wrote:
>>
>> I don't understand the question. I think there's no particular relation
>> between TemplateArgument{List,Pack}!(int, double) and
>> TemplateArgument{List,Pack}!(1, 2.0). One is a list of two types and the
>> other is a list of two values, and yah, if you map typeof over the
>> arguments in the latter it so happens you get the types in the first.
>>
>> Template arguments lists are what they are - entities that can be passed
>> to templates. Aliasing them is sensible but creating values thereof does
>> not make sense.
>
> You are doing it in the implementation of std.typecons.Tuple, and on
> every variadic function template call. How does it not make sense?

This is a misunderstanding. I don't know how to clear it.

Andrei