Clojure尾调用优化：如何将递归函数改造为尾递归？

我编写了如下函数：

(defn get-all-str
  "Get a list of all strings of length n,
   consisting of characters from the alphabet list
   and not containing two identical characters in a row."
  [n alphabet]
  (letfn [(add-to-result [current-string result]
            (if (= (count current-string) n)
              (conj result current-string)
              (loop [remaining-alphabet (remove #(= % (last current-string)) alphabet)
                     acc result]
                (if (empty? remaining-alphabet)
                  acc
                  (recur (rest remaining-alphabet)
                         (add-to-result (str current-string (first remaining-alphabet)) acc))))))]
    (if (<= n 0)
      []
      (add-to-result "" []))))

我已经使用了recur，但由于仍以常规方式调用add-to-result，所以该函数并非尾递归。请问如何重构此函数以实现尾递归？

更新：不知为何Stack Overflow一直在删除我的感谢评论，我在这里尝试发布：非常感谢各位的回复！你们的帮助让我受益匪浅。

要实现尾递归，核心是把嵌套的递归调用转化为迭代式的状态处理，用栈保存待处理的中间状态，通过尾递归的loop完成全部逻辑。重构后的代码如下：

(defn get-all-str-tail-recursive
  "Get a list of all strings of length n,
   consisting of characters from the alphabet list
   and not containing two identical characters in a row.
   尾递归实现版本"
  [n alphabet]
  (if (<= n 0)
    []
    ;; 初始化栈：每个元素为 [当前字符串 剩余需要添加的字符数]
    (loop [stack [["" n]]
           result []]
      (if (empty? stack)
        result
        (let [[current remaining] (first stack)
              rest-stack (rest stack)]
          (if (zero? remaining)
            ;; 字符串已达指定长度，加入结果集后继续处理栈中剩余状态
            (recur rest-stack (conj result current))
            ;; 生成所有合法的下一个字符，将新状态压入栈中
            (let [valid-chars (remove #(= % (last current)) alphabet)
                  new-states (map #(vector (str current %) (dec remaining)) valid-chars)
                  updated-stack (concat new-states rest-stack)]
              (recur updated-stack result)))))))

重构思路说明 #

• 状态栈替代嵌套递归：把原函数中每次需要递归处理的(当前字符串, 剩余长度)存入栈，避免嵌套调用带来的栈溢出风险。
• 纯尾递归结构：loop的最后一步只有recur调用，没有其他嵌套函数执行，符合尾递归要求，Clojure会自动进行尾调用优化。
• 保持业务逻辑不变：依然过滤掉与当前字符串末尾重复的字符，保证生成的字符串符合规则。
• 结果逐步收集：每次处理完一个完整长度的字符串，就将其加入结果集，直到栈中所有状态处理完毕。

内容的提问来源于stack exchange，提问作者Voltara