If it came across as if I thought that the traps where designed into Nim I must say I'm sorry, that was never my intent. But it was very much the case that someone ported code from another language to Nim and got poorer performance than they expected (whether that expectation was justified or not is besides the point). I know that you're right when you say that all other languages suffer this same trap, because as you say it's a fundamental algorithmic problem. But just replying to the topic saying "well every other language has the same behaviour" isn't really helpful, and might come across as a bit dismissive. Offering up a solution like others did in the thread might be more useful, or if you can't think of one, maybe try wording your reply a bit more friendly. It would even be a good opportunity to mention that most other languages simply won't allow you to optimise this, but in Nim we have term rewriting macros for example.
Again, I never intended to bash on Nim or its performance or design in any way. I much enjoy both parts as I'm certain you're aware. But I find it better to try and help, no matter how silly the question, rather than to dismiss it outright or attack the questions flaws. And failing that I just ignore a question. But I think we've bumped this topic enough with this talk, feel free to reply to me further on IRC if you don't want to have this rather off-topic post on the top of the forum forever.