Декларативное метапрограммирование: обработка списков на этапе компиляции

Механизм шаблонов в языке C++ позволяет построить библиотеку достаточно сложных алгоритмов обработки списков, включающих поэлементное преобразование, фильтрацию, поиск и сортировку. Для реализации таких алгоритмов подходит декларативный стиль. На примере обработки списков демонстрируется метод декларативного метапрограммирования.