DIP54 : revamp of Phobos tuple types

[Timon Gehr]

On 12/30/2013 07:45 AM, Andrei Alexandrescu wrote:
> ...
>>
>> If you are going to claim that this is not proper creation of an
>> instance of a type, except that:
>>
>> int x;
>> static assert(is(typeof(x)==int));
>>
>> Seq!(int, double) y;
>> static assert(is(typeof(y)==Seq!(int, double))); // presumably "bad"
>>
>> Then I don't know what to tell you. It is not useful at all to make a
>> terminological distinction between the two cases above and claim that
>> one is somehow special and confusing, when everything actually behaves
>> in an uniform way.
>
> The latter holds no state though.
>
> Andrei
>

alias Seq(T...)=T;

void main(){
     Seq!(int, double) y;
     y=Seq!(1,2.0);
     assert(y==Seq!(1,2.0));
     y[0]=2;
     assert(y==Seq!(2,2.0));
     y=Seq!(3,4.0);
     assert(y==Seq!(3,4.0)); int x;
}