Vlákno názorů k článku Funkce v programovacím jazyku Lua od Ksl - Ony jsou to spíš úplné tail cally než...

Ony jsou to spíš úplné tail cally než jen tail rekurze. A v kterýchže situacích kompilátor nedokáže tail cally správně převést?

A neni to v dusledku to same, resp. neni tail rekurze implementovana pomoci tail callu? Ja si btw ze Scheme pamatuju, ze tam byly nejake docela prisne podminky na to, kdy se tail call mohl provest - v podstate zalezelo (celkem logicky) na tvaru rekurzivniho volani, snad jen primitivni rekurze se prevadela na tail cally.

kdyby sem snad jeste nekdo zabloudil: NENI.

tail rekurze je pouze jednim z pripadu tail-call optimalizace, a ono rozbaleni na smycku je pouze prirovnani.

lepe receno rozbalenim na smycku je pouzitelne pouze pro tail rekurzi.

tail call eliminace (optimalizace) je obecna transformace uplatnitelna v pripade ze funkce vraci hodnotu primo ziskanou volanim jine funkce. pak je mozny parametry rovnou nacpat na spravny misto pouzit skok misto vytvareni dalsiho ramce. takze tail call eliminace muze „zarolovat“ vzajemnou rekurzi nekolika funkci nebo i treba jen nekolik nerekurzivnich vnorenych volani do jumpu a teprve posledni funkce v rade provede onen kyzeny return.