Vähenemisfunktsioonid

Vähenemisfunktsioonid, tuntud ka kui redutseerimisfunktsioonid või koondamisfunktsioonid, on programmeerimises funktsioonid, mis võtavad sisendiks järjestuse (näiteks loendi või massiivi) ja rakendavad selle elementidele antud operatsiooni, et saada üksik väärtus. Need funktsioonid on osa funktsionaalsest programmeerimisparadigma ja neid leidub paljudes programmeerimiskeeltes, nagu Python, JavaScript, Scala ja Haskell.

Põhimõtteliselt töötab vähenemisfunktsioon järgmiselt: see algab accumulator-väärtusega (mida võib nimetada ka vaheväärtuseks või praeguseks tulemuseks) ja läbib järjestuse elemendi haaval. Iga elemendi puhul rakendatakse antud operatsioon accumulator-väärtusele ja järjestuse elemendile ning tulemus salvestatakse uueks accumulator-väärtuseks. See protsess jätkub, kuni kõik järjestuse elemendid on töödeldud, mille tulemuseks on lõplik accumulator-väärtus.

Vähenemisfunktsioonide peamised eelised on nende selgus ja potentsiaal paralleelseteks arvutusteks. Nad võimaldavad programmeerijatel väljendada keerukaid iteratiivseid protsesse lühidalt ja sageli vähem vigadele kalduvalt kui traditsioonilised for-tsüklid. Näiteks saab summade, toodete, maksimumide ja miinimumide arvutamist lihtsa vaevaga realiseerida vähenemisfunktsiooni abil. Mõned keeled pakuvad ka kasvavaid (folding) funktsioone, mis on vähenemisfunktsioonide variatsioonid ja võivad erinevalt läbida järjestust.