clojure功能循环依赖是否被设计特别禁止,还是仅仅是读者行为？

Question

如果我在clojure中执行以下操作

(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))

我收到以下错误:

java.lang.Exception: Unable to resolve symbol: sub1b in this context

但如果我做以下事情:

(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读者工作方式的一个功能？

Answer 1

你可以做

(declare sub1a sub1b)

'declare'专门用于创建一个没有绑定的var来进行前向声明.

你宣布了​​一个名字:

(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略有不同.所以你以前的代码可以重写为:

(defn sub1a [a]
  (cond
    (= a 0) 0
    :else (sub1b (- a 1) )))

...