Häntärekursio
Häntärekursioksi kutsutaan rekursion erityistapausta, jossa rekursiivisen kutsun paluuarvosta tulee ilman lisäoperaatioita kutsuvan instanssin paluuarvo. Tämä tarkoittaa sitä, että rekursioiden "purkautuessa" ei ole enää mitään tekemistä.
Häntärekursisiiviselle funktiolle on tyypillistä, että lopputulosta kerätään ylimääräiseen parametriin, johon kertynyt arvo voidaan palauttaa lopetusehdon täyttyessä. Tämä tarkoittaa käytännössä myös sitä, että parametrin alkuarvon tulee olla triviaalitapauksen lopputulos.
Häntärekursiiviset funktiot voi muuttaa silmukkarakenteeksi.