On: Why Object-Oriented Languages Need Tail Calls (2011)

[dualogy]

Probably could be a user option in compilers for debug builds to either disable TCO or include "faked stack" in the tco-generated loop --- in many-maybe-most cases, wouldn't a cleanly recursive stack trace just consist of ever-the-same-callee repeated a gazillion times? Not all and not the more intricate scenarios of course.

[pdpi → dualogy]

TCO also applies when you have multiple levels of indirection between the caller and the ultimate callee that actually responds to the request.