我需要将宏用作map的函数，但我不知道该怎么做。请给我解释一下。我的宏“ get-conj”构建的二进制函数由几个变量的结合组成。
我已经尝试过在lambda函数中放入宏，但这是行不通的。我也检查了宏，它是正确的。
; this call of map doesn't work.
(map #(get-conj [x0 x1] %) [[1 0] [0 1] [0 0]])
;but just call of get-conj works fine.
(def conjunction (get-conj [x0 x1] [1 0]) ==> x0 & not(x1)
(conjunction true false) ; ==> true
(conjunction true true) ; ==> false
; bit is 1 or 0 value
(defn get-var [bit]
(if (zero? bit)
not
identity))
(defn get-args [n]
(vec (map #(read-string (s/join [\x %])) (range n))))
(defn mapdef [fns args] (map #(%1 %2) fns args))
;; the macro builds binary functions which consist of
(defmacro get-conj [args bits] ;conjunction of few variables.
(let [vars (map get-var bits)]
`(fn ~args
(every? identity (mapdef '~vars ~args)))))
I want to get list of binary-functions.
堆栈跟踪：
(map #(get-conj [x0 x1] %) [[1 0] [0 1] [0 0]])
2. Unhandled clojure.lang.Compiler$CompilerException
Error compiling *cider-repl clojure/ex1:localhost:40769(clj)* at (1252:16)
Compiler.java: 7010 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 6100 clojure.lang.Compiler$BodyExpr$Parser/parse
Compiler.java: 5460 clojure.lang.Compiler$FnMethod/parse
Compiler.java: 4022 clojure.lang.Compiler$FnExpr/parse
Compiler.java: 7001 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 3881 clojure.lang.Compiler$InvokeExpr/parse
Compiler.java: 7005 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 6100 clojure.lang.Compiler$BodyExpr$Parser/parse
Compiler.java: 5460 clojure.lang.Compiler$FnMethod/parse
Compiler.java: 4022 clojure.lang.Compiler$FnExpr/parse
Compiler.java: 7001 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 7059 clojure.lang.Compiler/eval
Compiler.java: 7025 clojure.lang.Compiler/eval
core.clj: 3206 clojure.core/eval
core.clj: 3202 clojure.core/eval
main.clj: 243 clojure.main/repl/read-eval-print/fn
main.clj: 243 clojure.main/repl/read-eval-print
main.clj: 261 clojure.main/repl/fn
main.clj: 261 clojure.main/repl
main.clj: 177 clojure.main/repl
RestFn.java: 137 clojure.lang.RestFn/applyTo
core.clj: 657 clojure.core/apply
core.clj: 652 clojure.core/apply
regrow.clj: 18 refactor-nrepl.ns.slam.hound.regrow/wrap-clojure-repl/fn
RestFn.java: 1523 clojure.lang.RestFn/invoke
interruptible_eval.clj: 79 nrepl.middleware.interruptible-eval/evaluate
interruptible_eval.clj: 55 nrepl.middleware.interruptible-eval/evaluate
interruptible_eval.clj: 142 nrepl.middleware.interruptible-eval/interruptible-eval/fn/fn
AFn.java: 22 clojure.lang.AFn/run
session.clj: 171 nrepl.middleware.session/session-exec/main-loop/fn
session.clj: 170 nrepl.middleware.session/session-exec/main-loop
AFn.java: 22 clojure.lang.AFn/run
Thread.java: 748 java.lang.Thread/run
1. Caused by java.lang.IllegalArgumentException
Don't know how to create ISeq from: clojure.lang.Symbol
RT.java: 550 clojure.lang.RT/seqFrom
RT.java: 530 clojure.lang.RT/seq
core.clj: 137 clojure.core/seq
core.clj: 2738 clojure.core/map/fn
LazySeq.java: 40 clojure.lang.LazySeq/sval
LazySeq.java: 49 clojure.lang.LazySeq/seq
RT.java: 528 clojure.lang.RT/seq
core.clj: 137 clojure.core/seq
core_print.clj: 53 clojure.core/print-sequential
core_print.clj: 174 clojure.core/fn
core_print.clj: 174 clojure.core/fn
MultiFn.java: 233 clojure.lang.MultiFn/invoke
core.clj: 3666 clojure.core/pr-on
core.clj: 3669 clojure.core/pr
core.clj: 3669 clojure.core/pr
AFn.java: 154 clojure.lang.AFn/applyToHelper
RestFn.java: 132 clojure.lang.RestFn/applyTo
core.clj: 657 clojure.core/apply
core.clj: 4702 clojure.core/pr-str
core.clj: 4702 clojure.core/pr-str
RestFn.java: 408 clojure.lang.RestFn/invoke
debug.clj: 188 cider.nrepl.middleware.debug/pr-short
debug.clj: 182 cider.nrepl.middleware.debug/pr-short
debug.clj: 334 cider.nrepl.middleware.debug/read-debug-command
debug.clj: 312 cider.nrepl.middleware.debug/read-debug-command
debug.clj: 506 cider.nrepl.middleware.debug/break
debug.clj: 488 cider.nrepl.middleware.debug/break
REPL: 49 ex1.bfg/eval20195/get-conj
AFn.java: 165 clojure.lang.AFn/applyToHelper
AFn.java: 144 clojure.lang.AFn/applyTo
Var.java: 702 clojure.lang.Var/applyTo
Compiler.java: 6912 clojure.lang.Compiler/macroexpand1
Compiler.java: 6989 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 6100 clojure.lang.Compiler$BodyExpr$Parser/parse
Compiler.java: 5460 clojure.lang.Compiler$FnMethod/parse
Compiler.java: 4022 clojure.lang.Compiler$FnExpr/parse
Compiler.java: 7001 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 3881 clojure.lang.Compiler$InvokeExpr/parse
Compiler.java: 7005 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 6729 clojure.lang.Compiler/analyze
Compiler.java: 6100 clojure.lang.Compiler$BodyExpr$Parser/parse
Compiler.java: 5460 clojure.lang.Compiler$FnMethod/parse
Compiler.java: 4022 clojure.lang.Compiler$FnExpr/parse
Compiler.java: 7001 clojure.lang.Compiler/analyzeSeq
Compiler.java: 6773 clojure.lang.Compiler/analyze
Compiler.java: 7059 clojure.lang.Compiler/eval
Compiler.java: 7025 clojure.lang.Compiler/eval
core.clj: 3206 clojure.core/eval
core.clj: 3202 clojure.core/eval
main.clj: 243 clojure.main/repl/read-eval-print/fn
main.clj: 243 clojure.main/repl/read-eval-print
main.clj: 261 clojure.main/repl/fn
main.clj: 261 clojure.main/repl
main.clj: 177 clojure.main/repl
RestFn.java: 137 clojure.lang.RestFn/applyTo
core.clj: 657 clojure.core/apply
core.clj: 652 clojure.core/apply
regrow.clj: 18 refactor-nrepl.ns.slam.hound.regrow/wrap-clojure-repl/fn
RestFn.java: 1523 clojure.lang.RestFn/invoke
interruptible_eval.clj: 79 nrepl.middleware.interruptible-eval/evaluate
interruptible_eval.clj: 55 nrepl.middleware.interruptible-eval/evaluate
interruptible_eval.clj: 142 nrepl.middleware.interruptible-eval/interruptible-eval/fn/fn
AFn.java: 22 clojure.lang.AFn/run
session.clj: 171 nrepl.middleware.session/session-exec/main-loop/fn
session.clj: 170 nrepl.middleware.session/session-exec/main-loop
AFn.java: 22 clojure.lang.AFn/run
Thread.java: 748 java.lang.Thread/run
答案 0 :(得分：1)
如果我正确理解您的代码，则可以使用一组[0 1 0]。每一位表示是否应否定对应的自变量。然后，您要计算那些可能取反的参数的合取。因此，如果您的参数是a，b和c，那么您想用这些位来计算(and (not a) b (not c))，对吗？
正如其他人已经在注释中暗示的那样，您不需要宏即可实现。
这是一个函数 get-conj，它作为参数接受位序列并返回一个新函数，该函数执行我在上文中解释的内容：
(defn get-conj [bits]
(fn [& args]
{:pre [(= (count bits)
(count args))]}
(every? identity (map (fn [bit arg]
(if (zero? bit)
(not arg) arg))
bits args))))
请注意，get-conj函数现在仅接受一个参数，即bits。
您提供的示例代码可以正常工作（稍作修改）：
(map get-conj [[1 0] [0 1] [0 0]])
(def conjunction (get-conj [1 0]))
(assert (conjunction true false))
(assert (not (conjunction true true)))
宏最适合用于功能不足的情况，例如小的句法定制（例如when，->）或构建诸如core.async或{{ 3}}概率编程语言。
答案 1 :(得分：0)
这与＃（）语法传递宏符号时的参数评估问题有关...我认为从根本上讲，这是防止嵌套阅读器宏的同一问题[即，您无法＃（x ＃（y））] 。我可能不是最好的解释者。
对于您的用例，一种解决方法是创建一个函数，该函数汇编并评估宏调用并传递部分 进行映射...这种情况总是很棘手，但这是一个示例。您将需要引用符号参数。
(defn macro-partial [macro-name & supplied-args]
(apply partial (comp eval macroexpand list) macro-name supplied-args))
;produces a list of functions created by get-conj.
(map (macro-partial 'get-conj '[x0 x1]) [[1 0] [0 1] [0 0]])
;call like this
(map apply
(map (macro-partial 'get-conj '[x0 x1]) [[1 0] [0 1] [0 0]])
(repeat '(1 2)))