dictionary - CompilerException java.lang.IllegalArgumentException:不知道如何从:clojure.lang.Symbol 创建 ISeq
问题描述
我需要使用我的宏作为地图的功能,但我不知道该怎么做。请给我解释一下。我的宏“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]
. 每个位都表示相应的参数是否应该被否定。然后你想计算那些可能被否定的论点的合取。因此,如果您的论点是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)))
宏最适合用于功能不够用的情况,例如小的语法自定义(.eg when
, ->
)或构建迷你语言(例如core.async或英国国教概率编程语言)。
推荐阅读
- azure - 使用 Bicep 设置 Azure 存储帐户装载路径
- wordpress - Wordpress 更新后,点击链接停止工作
- ios - Swift识别tableView单元格点击区域
- email - Sendgrid - 通过来自非 zapier 的 webhook 触发电子邮件
- python - 使用潜在语义分析来了解文档是否与某个主题有关
- java - Spring Boot - Jpa 存储库
- javascript - 使用 React,如何实现具有 css 转换切换(从 fullHeight 到 0px)的基本 Accordion(允许高度保持动态/自动)
- fonts - 字体的 OpenType 功能在 InDesign 中的复合字体中不起作用
- reactjs - 使用 Reactjs 转换为大写并设置为 Textarea 值
- c++ - 在类构造函数c ++中将this与指针数组一起使用