En programmation fonctionnelle, un repli, également connu sous le nom de réduction, d'accumulation ou de catamorphisme, est un type de fonction d'ordre supérieur qui applique de manière récursive une transformation à une structure de données, la "réduisant" en une valeur récapitulative
