Declarative metaprogramming: processing lists at compilation time

The template mechanism in C++ allows you to build a library of rather complex algorithms for list processing, including element-by-element transformation, filtering, searching and sorting. The declarative style is suitable for implementing such algorithms. The method of declarative metaprogramming is demonstrated on the example of list processing.