Здравствуйте, Gluk_Kazan, Вы писали:

G_K>2 frogkiller особенно

G_K>Хочу организовать CompileTime комбинаторы (SKI). Например Ix = x

G_K>Все в принципе замечательно, но X могжет принимать в качестве аргументов
G_K>неизвестное количество функций, т.е.

G_K>template <class,...> class X

засунь class,... в тип Tuple, с ним и работай.

G_K>возможно, что правильнее даже:
G_K>template <template <...> class> class X

ты бы template <template <> class X> не очень увлекался.

G_K>и так с неограничееной вложенностью
G_K>У кого нибудь есть мысли как организовать I в CompileTime ???

если объяснишь, что конкретно хочешь получить, вероятность получить помощь возрастет...