Think of it as a type of garbage collection. That stack frame is an unreachable resource. TCO guarantees that the language implementation will free the resour

Think of it as a type of garbage collection. That stack frame is an unreachable resource. TCO guarantees that the language implementation will free the resource automatically. Without TCO, the programmer has to explicitly prevent unused resources from accumulating by trampolining, looping, etc.