Ülevaade: Kategooriate teoorial baseeruvas geneerilises
programmeerimises on tavaks erinevaid rekursiooniskeeme esitada
rekursioonioperaatorite abil mis on parametriseeritud konkreetse tüübi
baasfunktori suhtes. Näiteks on katamorfism rekursioonioperaator mis
üldistab hästi tuntud (lihtsa) iteratsiooniskeemi naturaalarvudel
kõikidele induktiivsetele tüüpidele. Käesolevas ettekandes tutvustatav
komonaadiline katamorfism on topelt-geneeriline
rekursioonioperaator, mis lisaks baasfunktorile on veel parameetriline
konkreetset rekursiooniskeemi esitava komonaadiga. Konstruktsioon
üldistab paljusid varem tuntud rekursiooniskeeme (näit.:
lihtrekursioon, 'course-of-value' iteratsioon) ning sobival
instantsieerimisel "tekitab" ka mitmeid seni mitte uuritud kuid siiski
mõtekaid rekursiooniskeeme.
Pikem (ingliskeelne) abstrakt.
Varmo Vene
Viimati muudetud 17.10.2000