repl

时间:2015-11-15 17:40:03

标签: recursion clojure macros leiningen read-eval-print-loop

这是一个简化的例子,问题的关键是要了解如何调试递归宏并理解宏扩展如何在REPL中工作。

这是我粘贴到lein repl的示例代码:

(defn f1 [& params] (map inc params))

(defmacro a [x]
  (if (= (count x) 0)
    ()
    (let [first-x (first x)]
      (if (= (count x) 1)
        `(f1 ~first-x)
        (let [rest-x (rest x)]
          `((f1 ~first-x) (a ~rest-x)))))))

这就是我得到的:

user=> (f1 3)
(4)
user=> (f1 2 3 4)
(3 4 5)
user=> (macroexpand '(a ()))
()
user=> (macroexpand '(a (12)))
(user/f1 12)
user=> (macroexpand '(a (8 14)))
((user/f1 8) (user/a (14)))
user=> (macroexpand-all '(a (8 14)))

CompilerException java.lang.RuntimeException: Unable to resolve symbol: macroexpand-all in this context, compiling:(/tmp/form-init1519958991634351316.clj:1:1) 
user=> 

f1函数只是递增值,这是演示的简化示例。

macroexpand '(a ()))(macroexpand '(a (12)))行符合我的要求。

问题部分来了:

如何解决此问题,(macroexpand '(a (8 14)))将评估为

((user/f1 8) (user/f1 14))
<{1>}中的

并且不会停止扩展:

repl

我也试过了macroexpand-all,但它抛出,见上文。

1 个答案:

答案 0 :(得分:2)

您希望clojure.walk/macroexpand-all可以在clojure.walk命名空间中找到,该命名空间是clojure.core的一部分。

问题的最后一部分现在有效:

user=> (clojure.walk/macroexpand-all '(a (8 14)))
((user/f1 8) (user/f1 14))