Dave Herman <dherman at ccs.neu.edu> writes: > Can proper tail recursion be described in terms of linearity of the > continuation? I don't think so. If anything, it is the more standard languages that have enforced linear continuations. In C, for example, with the exception of setjmp and longjmp, every continuation is used exactly once and is destroyed upon use.