Nevím, zda to v seriálu padlo, ale jestli to chápu správně, je vzájemné rekurzivní volání (např. free a locked) díky tail call optimalizaci bezproblémové (nehrozí přetečení zásobníku apod.). To si myslím, že je pro programátory z mainstreamu dost podstatná informace.
Děkuji za doplnění. To že nekonečná smyčka pomocí rekurze není problém (stack neroste), pokud je rekurzivní volání jako poslední operace bylo zmíňeno jen v úvodním článku. Zde se navíc volají dvě funcke mezi sebou. To není podstatné, princip je stejný, tzv. tail rekurze tu funguje také.
Stack neroste, protože všechny proměnné jsou lokální, volání dalši funkce (ať už stejné nebo jiné) je poslední operace, takže není důvod lokální proměnné udržovat na stacku pro další využití.
