[PRL] proper tail recursion

[John Clements]

On Oct 3, 2004, at 2:21 AM, Carl Eastlund wrote:

> On Sun, 03 Oct 2004 02:06:04 -0400, Dave Herman <dherman at ccs.neu.edu> 
> wrote:
>> Can proper tail recursion be described in terms of linearity of the
>> continuation?
>>
>> Dave
>
> I don't see the connection.  Can you clarify what you're thinking, 
> Dave?
>
> --Carl

In the systems I'm thinking of, the value passed to the continuation is 
only used once... but other bindings created in the continuation may 
occur lots of times.  linearity doesn't mean anything if it's just in 
one argument, right?

Also, non-tail-recursive systems are going to be just as "linear" as 
tail-recursive ones.  Eta expansion doesn't break linearity, does it?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2169 bytes
Desc: not available
Url : https://lists.ccs.neu.edu/pipermail/prl/attachments/20041003/77e08d99/smime.bin