Re: [stack] disallowing recursive definitions

William Tanksley, Jr scripsit:

> A tail call in a concatenative language is a structured GOTO to the
> beginning of the function, nothing more. A tail call in an applicative
> function is a parameter reassignment combined with a structured GOTO
> to the beginning of the function.

Correct, given that a shuffle may be needed before the concatenative
function can be successfully called (tail or otherwise), and a compiler
can arrange that the parameter reassignment requires no actual machine
instructions.

-- 
At the end of the Metatarsal Age, the dinosaurs     John Cowan
abruptly vanished. The theory that a single         [email protected]
catastrophic event may have been responsible        http://www.ccil.org/~cowan
has been strengthened by the recent discovery of
a worldwide layer of whipped cream marking the
Creosote-Tutelary boundary.             --Science Made Stupid