V terminologii článku se sice ztrácím, ale přesto mám pocit, že s to co je zde nazýváno lineární rekurzí není nutnou ani postačující podmínkou pro to, aby to byla tail rekurze. Tudíž nechápu, proč se do toho tail rekurze vůbec motá - koneckonců ani ta ukázka v lispu neobsahuje tail rekurzi.
A má něco společného uvedený rekurzívní kombinátor něco společného s Y?
Ne urcite to neni postacujici podminkou, to mate pravdu, ostatne tam pisu vetu "Pokud však programátor chce použít tail rekurzi, musí dodržet jistá pravidla zápisu funkce; především se to týká vlastního rekurzivního volání". To co mate na mysli, je koncova rekurze - pri ni lze pouzit techniku tail-recursion.
