[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tail recursion
>> ... Many implementation styles trade space for speed,
>> parallel implementations among them; your definition of proper
>> tail-recursion appears to disallow this.
I don't think that anyone is under the illusion that the requirement
for proper tail recursion is anything other than a space saving
optimization and that it may in fact be a time pessimizer for certain
architectures. I think perhaps that Jinx was just trying to say that
we can formalize this to whatever degree we like. If you don't like
the requirement for proper tail recursion, fine - argue for its
removal - but I think that it is dubious to argue that we don't know
what the requirement means.