Apa properti kontra memungkinkan penghapusan kontra modulo rekursi ekor?

Saya akrab dengan gagasan penghapusan rekursi ekor dasar , di mana fungsi yang mengembalikan hasil langsung dari panggilan untuk diri mereka sendiri dapat ditulis ulang sebagai loop berulang. foo(...): # ... return foo(...) Saya juga mengerti bahwa, sebagai kasus khusus, fungsinya masih dapat...