comco: > Isn't the whole ct metaprogramming with types kind of > functional and immutable? The answer is probably positive, but functional and lazy aren't exactly the same thing, from a computational point of view. > I thought that the template instantiation is already > implemented as being lazy? I don't know how much. Bye, bearophile