> Not being able to make a recursive call without potentially blowing the stack is a major drawback in any language. I'd venture to say it's a "bug." Recursive

> Not being able to make a recursive call without potentially blowing the stack is a major drawback in any language. I'd venture to say it's a "bug." Recursive calls can blow the stack even with TCO.... I like TCO, but it lends itself to "infinite loops" that aren't as easy to figure out because they're not "local". > And TCO is so handy in so many instances that it's silly not to have it. "So handy" is even more true of lisp macros but .... > And you gain performance. It depends. If you're not doing a lot of interprocedural analysis, you can easily lose performance by writing "TCO-style".