Typed variadic template syntax?

[Ilya Yaroshenko]

On Thursday, 30 January 2014 at 11:19:33 UTC, Idan Arye wrote:
> On Wednesday, 29 January 2014 at 22:16:57 UTC, Peter Alexander 
> wrote:
>> On Wednesday, 29 January 2014 at 21:18:06 UTC, Etienne wrote:
>>>>
>>>> void exec(string command)(){
>>>> 	foreach(str ; choice.splitter(".")){
>>>> 		writeln(str);
>>>> 	}
>>>> }
>>>
>>> I'd like to take the opportunity to say how much I'd love to 
>>> be able to do a static foreach rather than use recursion.
>>
>> You can use TypeTuple for static foreach.
>>
>> void foo(int x)()
>> {
>> 	import std.stdio;
>> 	writeln(x);
>> }
>>
>> void main()
>> {
>> 	import std.typetuple;
>> 	foreach (x; TypeTuple!(1, 2, 3))
>> 		foo!x();
>> }
>>
>> Notice that the loop variable x is used as a template 
>> parameter at compile time. The code expands to:
>>
>> foo!1();
>> foo!2();
>> foo!3();
>
> Two problems:
>
> 1) You can't use `foreach` outside functions. That means that 
> you write:
>     struct Foo{
>         foreach(i;TypeTuple!(1,2,3)){
>             mixin("int num"~i.stringof~";");
>         }
>     }
>
> 2) `foreach` creates it's own scope. This won't work:
>     foreach(i; TypeTuple!(1,2,3)){
>         mixin("int num"~i.stringof~";");
>     }
>     num1=1;
>     num2=2;
>     num3=3;
>     writeln(num1,num2,num3);

1) You can use mixin(format("<Prolog>%(<Begin>%s<End>%)<Epilog>", 
CompileTimeRange)); See std.format for ranges and 
std.string.format.

2) no. This should work for compile time foreach and TypeTuples. 
There are many examples in source code of Phobos.