staticReduce template

gistfile1.d

import std.typetuple;

template staticReduce(alias F,T...) {
	static if(T.length==0) {
		alias TypeTuple!() staticReduce;
	} else static if(T.length==1) {
		enum staticReduce=T[0];
	} else {
		enum staticReduce=staticReduce!(F,TypeTuple!(F!(T[0],T[1]),T[2..$]));
	}
}

//Testing/demos

template concan(string s1,string s2) {enum concan = s1 ~ s2;};
static assert(staticReduce!(concan,"Hello world")=="Hello world");
import std.metastrings;
static assert(staticReduce!(concan,"Hello world"," from ","static reduce! Here is an int:",	toStringNow!(5))
			  =="Hello world from static reduce! Here is an int:5");