Tail-call optimization and function-barrier -based accumulation in loops

[tkf]

I just find that Guy Steele is discussing something very similar in the first half of this talk:

Keynote with Guy Steele