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

发布时间：2020-12-13 20:09:13 所属栏目：百科来源：网络整理

导读：如果我在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

如果我在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读者工作方式的功能？

你可以做

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

...

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!