[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Tail Recursion in Common Lisp ???



    I don't recall any suggestion that the current definition of Common Lisp
    does not allow tail-recursion optimization.  How could a language
    definition possibly disallow it?

OK, it was suggested that it was illegal to optimize a function that
calls itself tail-recursively into a simple iteration that just jumps
back to the start of the current function without checking for
redefinition of the function in the meantime.  The discussion was not
about the legality of doing the jump instead of a full recursive call,
but about whether the check was required.

-- Scott