U funkcionalnom programiranju, fold (također označen kao smanjenje, nakupljanje, agregacija, komprimiranje ili ubrizgavanje) odnosi se na obitelj funkcija višeg reda koja analizira rekurzivnu strukturu podataka i pomoću korištenja određene operacije kombiniranja rekombiniraju rezultate rekurzivne obrade sastavni dijelovi, stvaranje povratne vrijednosti. Uobičajeno, skup je prikazan funkcijom kombinacije, vršnom čvoru strukture podataka, a vjerojatno i nekim zadanim vrijednostima koji se koriste pod određenim uvjetima. Preklop tada nastavlja kombinirati elemente hijerarhije strukture podataka, koristeći funkciju na sustavni način. Skloni su u smislu dvojnika koji se razvijaju, koji uzimaju vrijednost sjemena i primjenjuju funkciju jezgrovito kako bi odlučili kako progresivno konstruirati corecursive strukturu podataka, dok je preklop rekurzivno prekida tu strukturu, zamjenjujući ga rezultatima primjene funkcije kombiniranja na svaki čvor na njegovim terminalnim vrijednostima i rekurzivni rezultati (catamorphism, versus anamorphism of unfolds). [Funkcionalno programiranje][Rekurzivna vrsta podataka][rekurzije][Hijerarhija] |