如果我在clojure中执行以下操作
@H_404_1@(defn sub1a [a]
(cond
(= a 0) 0
true (sub1b (- a 1) )))
(defn sub1b [a]
(cond
(= a 0) 0
true (sub1a (- a 1) )))
(println (sub1a 10))
我收到以下错误:
@H_404_1@java.lang.Exception: Unable to resolve symbol: sub1b in this context但如果我做以下事情:
@H_404_1@(defn sub1a [a] (cond (= a 0) 0 true (- a 1))) (defn sub1b [a] (cond (= a 0) 0 true (- a 1))) (defn sub1a [a] (cond (= a 0) 0 true (sub1b (- a 1) ))) (defn sub1b [a] (cond (= a 0) 0 true (sub1a (- a 1) ))) (println (sub1a 10))它运行得很好.
这是设计,还是Clojure读者工作方式的功能?
你可以做
@H_404_1@(declare sub1a sub1b)
‘declare’专门用于创建一个没有绑定的var来进行前向声明.
一个你宣布名字:
@H_404_1@(defn sub1a [a] (cond (= a 0) 0 true (sub1b (- a 1) ))) (defn sub1b [a] (cond (= a 0) 0 true (sub1a (- a 1) ))) (println (sub1a 10))另外,在cond中指定默认条件的idomatic方法(对于clojure)使用:else子句.这与使用T(对于True)的Common Lisp略有不同.所以你以前的代码可以重写为:
@H_404_1@(defn sub1a [a] (cond (= a 0) 0 :else (sub1b (- a 1) ))) ...