[fjh]

Why would languages without tail recursion optimisation perform worse when all languages use the naive implementation? It's not tail recursive, so it shouldn't make a difference, right?

[spatulon]

You're right that tail recursion doesn't help - the final operation is the addition, not a recursive call.