funktoreista

Funktori on käsite tietotekniikassa ja matematiikassa, joka kuvaa abstraktia tapaa muuntaa tiettyjä rakenteita toisiksi samankaltaisiksi rakenteiksi. Funktori voidaan nähdä kuin "funktiona rakenteille", joka soveltaa annettua funktiota rakenteen sisällä oleviin alkioihin säilyttäen samalla rakenteen yleisen muodon.

Yksinkertaisimmillaan funktori voidaan ajatella esimerkiksi listan muuntamisena. Jos meillä on lista numeroita ja funktio, joka kertoo jokaisen numeron kahdella, funktori soveltaisi tätä kertolaskua jokaiseen listan alkioon ja palauttaisi uuden listan, jossa jokainen alkio on alkuperäisen listan alkion kaksinkertainen. Listan rakenne, eli järjestys ja mahdollisuus sisältää useita alkioita, säilyy.

Funktoreita käytetään ohjelmoinnissa erityisesti funktionaalisissa ohjelmointikielissä. Ne auttavat käsittelemään erilaisia datarakenteita, kuten listoja, puita ja valinnaisia arvoja (optionals), yhdistetyllä ja yleistettävällä tavalla. Tämä mahdollistaa koodin uudelleenkäytön ja vähentää toistoa. Esimerkiksi monissa kielissä on standardi tapa "mapata" funktio listan yli ilman, että tarvitsee kirjoittaa erillistä silmukkaa joka kerta.

Matematiikassa funktorit ovat keskeisiä kategoriateoriassa, joka tutkii matemaattisia rakenteita ja niiden välisiä suhteita. Kategoriateoriassa funktorit ovat kuvauksia kategorioiden välillä, jotka säilyttävät kategorioiden rakenteen, kuten objektit ja morfit (eli funktiot objektien välillä). Tietotekniikan funktori-käsite on saanut inspiraationsa tästä matemaattisesta ideasta.