Описание тега fold

В функциональном программировании свертка, также известная как сокращение, накопление или катаморфизм, представляет собой тип функции высшего порядка, которая рекурсивно применяет преобразование к структуре данных, "сворачивая" ее до итогового значения.