在 Clojure core.logic 中，为什么我不能使用线程宏？

Question

当我运行下面的代码时，我得到了随后的错误：

(run 3 [q]
  (fresh [a0 a1 a2
          b0 b1 b2
          c0 c1 c2]
    (== q [[a0 a1 a2] [b0 b1 b2] [c0 c1 c2]])
    (fd/in a0 a1 a2 b0 b1 b2 c0 c1 c2 (fd/interval 1 9))
    (fd/distinct [a0 a1 a2 b0 b1 b2 c0 c1 c2])
    (fd/eq
     (= a0 4)
     (= 22 (-  (* a0 a1) a2))
     (= -1 (-> b0 (* b1) (- b2)))
     )))

错误：

2. Unhandled clojure.lang.Compiler$CompilerException
   Error compiling src/euler/core.clj at (1392:5)

1. Caused by java.lang.IllegalArgumentException
   Can't call nil
 core.clj: 3081  clojure.core/eval
                  main.clj:  240  clojure.main/repl/read-eval-print/fn
                  main.clj:  240  clojure.main/repl/read-eval-print
                  main.clj:  258  clojure.main/repl/fn
                  main.clj:  258  clojure.main/repl
               RestFn.java: 1523  clojure.lang.RestFn/invoke
    interruptible_eval.clj:   87  clojure.tools.nrepl.middleware.interruptible-eval/evaluate/fn
                  AFn.java:  152  clojure.lang.AFn/applyToHelper
                  AFn.java:  144  clojure.lang.AFn/applyTo
                  core.clj:  630  clojure.core/apply
                  core.clj: 1868  clojure.core/with-bindings*
               RestFn.java:  425  clojure.lang.RestFn/invoke
...

注意带有线程宏的行 ->，在 CIDER 中我将对其进行宏扩展，一切看起来都很好，但最终代码崩溃了。我假设这是宏的错误，但我不确定为什么。有什么想法吗？

Answer 1

您应该看看 the source of clojure.core.logic.fd. The error occurs in the macro eq，它会在宏展开发生之前处理所有形式。

为了快速解决问题，我创建了一个 eq 版本，它在执行任何其他操作之前对其所有表单调用 macroexpand-all。它似乎适用于您的代码，尽管我没有在其他情况下对其进行测试：

(defmacro mac-eq [& forms]
  (let [exp-forms (map clojure.walk/macroexpand-all forms)]
    `(fd/eq ~@exp-forms)))

我们来试试吧！

stack-prj.logicThreadMacro> (run 3 [q]
                              (fresh [a0 a1 a2
                                      b0 b1 b2
                                      c0 c1 c2]
                                (== q [[a0 a1 a2] [b0 b1 b2] [c0 c1 c2]])
                                (fd/in a0 a1 a2 b0 b1 b2 c0 c1 c2 (fd/interval 1 9))
                                (fd/distinct [a0 a1 a2 b0 b1 b2 c0 c1 c2])
                                (mac-eq
                                 (= a0 4)
                                 (= 22 (- (* a0 a1) a2))
                                 (= -1 (-> b0 (* b1) (- b2))))))
()

在 Clojure core.logic 中，为什么我不能使用线程宏？

In Clojure core.logic, why can't I use threading macros?

macros

logic

clojure