Thoughts on possible tuple semantics

[Dicebot]

On Thursday, 22 August 2013 at 11:19:55 UTC, deadalnix wrote:
> A sequence is an ordered set. You can have types, alias and 
> values sequences. Values sequence can be runtime or compile 
> time.

> typeof(args) returns T, which is a type sequence (not a type !)
> typeid(args) is invalid.

1) You propose typeof to result "not a type" entity. Well, if it 
can be result of typeof, can be used to declare variables and can 
be aliased - what makes it different from a type?

2) is(typeof(tuple(42, 42)) == typeof(ctseq(42, 42))) == ? 
(assuming typeof(args) == T and you don't make distinction 
between runtime and compile-time value sequences.

Also you don't seem to cover mixed sequences which are essential 
to D templates.